Mercurial > urweb
comparison src/core.sml @ 338:e976b187d73a
SQL sequences
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 14 Sep 2008 11:02:18 -0400 |
parents | 42dfb0d61cf0 |
children | 075b36dbb1a4 |
comparison
equal
deleted
inserted
replaced
337:18d5affa790d | 338:e976b187d73a |
---|---|
113 | DDatatype of string * int * string list * (string * int * con option) list | 113 | DDatatype of string * int * string list * (string * int * con option) list |
114 | DVal of string * int * con * exp * string | 114 | DVal of string * int * con * exp * string |
115 | DValRec of (string * int * con * exp * string) list | 115 | DValRec of (string * int * con * exp * string) list |
116 | DExport of export_kind * int | 116 | DExport of export_kind * int |
117 | DTable of string * int * con * string | 117 | DTable of string * int * con * string |
118 | DSequence of string * int * string | |
118 | DDatabase of string | 119 | DDatabase of string |
119 | 120 |
120 withtype decl = decl' located | 121 withtype decl = decl' located |
121 | 122 |
122 type file = decl list | 123 type file = decl list |