diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-02 17:31:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-02 17:31:45 -0400 |
| commit | ab29ac3337d2be88ae3288652e999873be1dcf14 (patch) | |
| tree | d3816565ec3c8518bb73979bd5957e8d324375f9 /src/cjr_env.sml | |
| parent | 5885d66bebeece6ba2f7b6a1b11f719086423114 (diff) | |
Compiling a parametrized query the inefficient way
Diffstat (limited to 'src/cjr_env.sml')
| -rw-r--r-- | src/cjr_env.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/cjr_env.sml b/src/cjr_env.sml index 482b93f6..0859abe5 100644 --- a/src/cjr_env.sml +++ b/src/cjr_env.sml @@ -48,7 +48,7 @@ type env = { structs : (string * typ) list IM.map } -val empty = { +val empty : env = { datatypes = IM.empty, constructors = IM.empty, @@ -56,7 +56,7 @@ val empty = { relE = [], namedE = IM.empty, - structs = IM.empty + structs = IM.insert (IM.empty, 0, []) } fun pushDatatype (env : env) x n xncs = |