Mercurial > urweb
diff src/cjr_env.sml @ 280:fdd7a698be01
Compiling a parametrized query the inefficient way
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 02 Sep 2008 17:31:45 -0400 |
parents | 09c66a30ef32 |
children | 0236d9412ad2 |
line wrap: on
line diff
--- a/src/cjr_env.sml Tue Sep 02 16:18:05 2008 -0400 +++ b/src/cjr_env.sml Tue Sep 02 17:31:45 2008 -0400 @@ -48,7 +48,7 @@ structs : (string * typ) list IM.map } -val empty = { +val empty : env = { datatypes = IM.empty, constructors = IM.empty, @@ -56,7 +56,7 @@ relE = [], namedE = IM.empty, - structs = IM.empty + structs = IM.insert (IM.empty, 0, []) } fun pushDatatype (env : env) x n xncs =