Mercurial > urweb

diff src/cjrize.sml @ 185:19ee24bffbc0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
FFI datatypes
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 17:57:47 -0400
parents d11754ffe252
children 88d46972de53
line wrap: on
line diff
--- a/src/cjrize.sml	Sun Aug 03 16:53:13 2008 -0400
+++ b/src/cjrize.sml	Sun Aug 03 17:57:47 2008 -0400
@@ -143,7 +143,7 @@
         L.EPrim p => ((L'.EPrim p, loc), sm)
       | L.ERel n => ((L'.ERel n, loc), sm)
       | L.ENamed n => ((L'.ENamed n, loc), sm)
-      | L.ECon (n, eo) =>
+      | L.ECon (pc, eo) =>
         let
             val (eo, sm) =
                 case eo of
@@ -155,7 +155,7 @@
                         (SOME e, sm)
                     end
         in
-            ((L'.ECon (n, eo), loc), sm)
+            ((L'.ECon (cifyPatCon pc, eo), loc), sm)
         end
       | L.EFfi mx => ((L'.EFfi mx, loc), sm)
       | L.EFfiApp (m, x, es) =>