Mercurial > urweb

diff src/monoize.sml @ 163:80192edca30d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Datatypes through corify
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 13:16:21 -0400
parents 4334bb734187
children 6847741e1f5f
line wrap: on
line diff
--- a/src/monoize.sml	Tue Jul 29 12:30:04 2008 -0400
+++ b/src/monoize.sml	Tue Jul 29 13:16:21 2008 -0400
@@ -453,6 +453,7 @@
     in
         case d of
             L.DCon _ => NONE
+          | L.DDatatype _ => raise Fail "Monoize DDatatype"
           | L.DVal (x, n, t, e, s) => SOME (Env.pushENamed env x n t (SOME e) s,
                                             (L'.DVal (x, n, monoType env t, monoExp (env, St.empty) e, s), loc))
           | L.DValRec vis =>