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