Mercurial > urweb

comparison src/core.sml @ 707:d8217b4cb617

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PRIMARY KEY
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 16:14:31 -0400
parents e6706a1df013
children f152f215a02c
comparison
equal deleted inserted replaced
706:1fb318c17546 707:d8217b4cb617
128 DCon of string * int * kind * con 128 DCon of string * int * kind * con
129 | DDatatype of string * int * string list * (string * int * con option) list 129 | DDatatype of string * int * string list * (string * int * con option) list
130 | DVal of string * int * con * exp * string 130 | DVal of string * int * con * exp * string
131 | DValRec of (string * int * con * exp * string) list 131 | DValRec of (string * int * con * exp * string) list
132 | DExport of export_kind * int 132 | DExport of export_kind * int
133 | DTable of string * int * con * string * exp * con 133 | DTable of string * int * con * string * exp * con * exp * con
134 | DSequence of string * int * string 134 | DSequence of string * int * string
135 | DDatabase of string 135 | DDatabase of string
136 | DCookie of string * int * con * string 136 | DCookie of string * int * con * string
137 137
138 withtype decl = decl' located 138 withtype decl = decl' located