Mercurial > urweb
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 |