Mercurial > urweb

view tests/aborter.ur @ 1651:dfc854e478bb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Error messages about applying 'dynClass' to tags that don't like it
author Adam Chlipala <adam@chlipala.net>
date Sat, 31 Dec 2011 13:31:00 -0500
parents b10132434adc
children
line wrap: on
line source
table t : {A : int}

fun main () : transaction page =
    () <- dml (INSERT INTO t (A) VALUES (0));
    return (error <xml>No way, Jose!</xml>)