Mercurial > urweb

diff src/mono_reduce.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 55d8cfa4d024
children c0ea24dcb86f
line wrap: on
line diff
--- a/src/mono_reduce.sml	Tue Jul 29 15:25:42 2008 -0400
+++ b/src/mono_reduce.sml	Tue Jul 29 15:43:17 2008 -0400
@@ -62,7 +62,7 @@
 
 fun bind (env, b) =
     case b of
-        U.Decl.NamedT (x, n, co) => E.pushTNamed env x n co
+        U.Decl.Datatype (x, n, xncs) => E.pushDatatype env x n xncs
       | U.Decl.RelE (x, t) => E.pushERel env x t
       | U.Decl.NamedE (x, n, t, eo, s) => E.pushENamed env x n t eo s