Mercurial > urweb

diff src/cjr_env.sml @ 280:fdd7a698be01

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 =