Mercurial > urweb

diff src/cjr_env.sml @ 168:25b169416ea8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Storing datatype constructors in type references past monoize
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 15:43:17 -0400
parents a991431b77eb
children 31dfab1d4050
line wrap: on
line diff
--- a/src/cjr_env.sml	Tue Jul 29 15:25:42 2008 -0400
+++ b/src/cjr_env.sml	Tue Jul 29 15:43:17 2008 -0400
@@ -122,8 +122,8 @@
         let
             val env = pushDatatype env x n xncs
         in
-            foldl (fn ((x', n', NONE), env) => pushENamed env x' n' (TDatatype n, loc)
-                    | ((x', n', SOME t), env) => pushENamed env x' n' (TFun (t, (TDatatype n, loc)), loc))
+            foldl (fn ((x', n', NONE), env) => pushENamed env x' n' (TDatatype (n, xncs), loc)
+                    | ((x', n', SOME t), env) => pushENamed env x' n' (TFun (t, (TDatatype (n, xncs), loc)), loc))
             env xncs
         end
       | DStruct (n, xts) => pushStruct env n xts