Mercurial > urweb

diff src/elaborate.sml @ 601:7c3c21eb5b4c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial experiments with nested <dyn>
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Jan 2009 15:17:11 -0500
parents 803b2f3bb86b
children 8998114760c1
line wrap: on
line diff
--- a/src/elaborate.sml	Sun Jan 11 10:41:38 2009 -0500
+++ b/src/elaborate.sml	Tue Jan 13 15:17:11 2009 -0500
@@ -3003,10 +3003,10 @@
                     val env = E.pushDatatype env n xs xcs
                     val d' = (L'.DDatatype (x, n, xs, xcs), loc)
                 in
-                    if positive then
+                    (*if positive then
                         ()
                     else
-                        declError env (Nonpositive d');
+                        declError env (Nonpositive d');*)
 
                     ([d'], (env, denv, gs' @ gs))
                 end