Mercurial > urweb

diff src/mono.sml @ 1229:a2cd6664f57f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sendOwnIds policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 17:55:37 -0400
parents 62af4cacd191
children 3d06e0f7a6f3
line wrap: on
line diff
--- a/src/mono.sml	Sun Apr 11 16:46:38 2010 -0400
+++ b/src/mono.sml	Sun Apr 11 17:55:37 2010 -0400
@@ -128,6 +128,7 @@
        | PolInsert of exp
        | PolDelete of exp
        | PolUpdate of exp
+       | PolSequence of exp
 
 datatype decl' =
          DDatatype of (string * int * (string * int * typ option) list) list