Mercurial > urweb
diff src/expl.sml @ 246:3aa010e97db9
Explify tables
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 31 Aug 2008 08:46:22 -0400 |
parents | 0343557355fc |
children | 42dfb0d61cf0 |
line wrap: on
line diff
--- a/src/expl.sml Sun Aug 31 08:35:00 2008 -0400 +++ b/src/expl.sml Sun Aug 31 08:46:22 2008 -0400 @@ -107,6 +107,7 @@ | SgiVal of string * int * con | SgiSgn of string * int * sgn | SgiStr of string * int * sgn + | SgiTable of int * string * int * con and sgn' = SgnConst of sgn_item list @@ -128,6 +129,7 @@ | DStr of string * int * sgn * str | DFfiStr of string * int * sgn | DExport of int * sgn * str + | DTable of int * string * int * con and str' = StrConst of decl list