Mercurial > urweb

diff src/elab.sml @ 338:e976b187d73a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SQL sequences
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 11:02:18 -0400
parents 9601c717d2f3
children 075b36dbb1a4
line wrap: on
line diff
--- a/src/elab.sml	Sat Sep 13 20:15:30 2008 -0400
+++ b/src/elab.sml	Sun Sep 14 11:02:18 2008 -0400
@@ -129,6 +129,7 @@
        | SgiSgn of string * int * sgn
        | SgiConstraint of con * con
        | SgiTable of int * string * int * con
+       | SgiSequence of int * string * int
        | SgiClassAbs of string * int
        | SgiClass of string * int * con
 
@@ -155,6 +156,7 @@
        | DConstraint of con * con
        | DExport of int * sgn * str
        | DTable of int * string * int * con
+       | DSequence of int * string * int
        | DClass of string * int * con
        | DDatabase of string