view tests/delete.ur @ 1640:dc986eb6113c

Order constructors properly in wildification, to avoid spuriously displeasing the new scoping check
author Adam Chlipala <adam@chlipala.net>
date Sun, 18 Dec 2011 12:00:36 -0500
parents 0aee86b8a6d6
children
line wrap: on
line source
table t1 : {A : int, B : string, C : float, D : bool}

fun main () : transaction page =
        () <- dml (DELETE FROM t1 WHERE A = 5);
        return <html><body>Deleted.</body></html>