Mercurial > urweb

diff src/elab_env.sml @ 186:88d46972de53

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
bool in Basis
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 18:53:20 -0400
parents 7ee424760d2f
children 8e9f97508f0d
line wrap: on
line diff
--- a/src/elab_env.sml	Sun Aug 03 17:57:47 2008 -0400
+++ b/src/elab_env.sml	Sun Aug 03 18:53:20 2008 -0400
@@ -648,6 +648,7 @@
       | DDatatype (x, n, xncs) =>
         let
             val env = pushCNamedAs env x n (KType, loc) NONE
+            val env = pushDatatype env n xncs
         in
             foldl (fn ((x', n', NONE), env) => pushENamedAs env x' n' (CNamed n, loc)
                     | ((x', n', SOME t), env) => pushENamedAs env x' n' (TFun (t, (CNamed n, loc)), loc))
@@ -657,6 +658,7 @@
         let
             val t = (CModProj (m, ms, x'), loc)
             val env = pushCNamedAs env x n (KType, loc) (SOME t)
+            val env = pushDatatype env n xncs
 
             val t = (CNamed n, loc)
         in