comparison src/core.sml @ 247:5c50b17f5e4a

Corify tables
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 09:00:28 -0400
parents 766b5475477f
children 42dfb0d61cf0
comparison
equal deleted inserted replaced
246:3aa010e97db9 247:5c50b17f5e4a
112 DCon of string * int * kind * con 112 DCon of string * int * kind * con
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 118
118 withtype decl = decl' located 119 withtype decl = decl' located
119 120
120 type file = decl list 121 type file = decl list
121 122