comparison src/mono.sml @ 683:9a2c18dab11d

Expunging non-nullable rows
author Adam Chlipala <adamc@hcoop.net>
date Sun, 29 Mar 2009 13:30:01 -0400
parents f73913d97a40
children a3ddf05fb3e3
comparison
equal deleted inserted replaced
682:5bbb542243e8 683:9a2c18dab11d
120 | DValRec of (string * int * typ * exp * string) list 120 | DValRec of (string * int * typ * exp * string) list
121 | DExport of Core.export_kind * string * int * typ list * typ 121 | DExport of Core.export_kind * string * int * typ list * typ
122 122
123 | DTable of string * (string * typ) list 123 | DTable of string * (string * typ) list
124 | DSequence of string 124 | DSequence of string
125 | DDatabase of string 125 | DDatabase of string * int
126 126
127 | DJavaScript of string 127 | DJavaScript of string
128 128
129 129
130 withtype decl = decl' located 130 withtype decl = decl' located