Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/core.sml Sun Aug 31 08:46:22 2008 -0400 +++ b/src/core.sml Sun Aug 31 09:00:28 2008 -0400 @@ -114,6 +114,7 @@ | DVal of string * int * con * exp * string | DValRec of (string * int * con * exp * string) list | DExport of export_kind * int + | DTable of string * int * con * string withtype decl = decl' located