comparison src/core.sml @ 461:5c9606deacb6

Cookies through shake2
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:48:02 -0500
parents 07f6576aeb0a
children ae03d09043c1
comparison
equal deleted inserted replaced
460:d34834af4512 461:5c9606deacb6
118 | DValRec of (string * int * con * exp * string) list 118 | DValRec of (string * int * con * exp * string) list
119 | DExport of export_kind * int 119 | DExport of export_kind * int
120 | DTable of string * int * con * string 120 | DTable of string * int * con * string
121 | DSequence of string * int * string 121 | DSequence of string * int * string
122 | DDatabase of string 122 | DDatabase of string
123 | DCookie of string * int * con * string
123 124
124 withtype decl = decl' located 125 withtype decl = decl' located
125 126
126 type file = decl list 127 type file = decl list
127 128