Mercurial > urweb

diff src/monoize.sml @ 465:ddd363e856ff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookie prose; fix bugs that broke demo compilation
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 12:46:45 -0500
parents bb27c7efcd90
children 1626dcba13ee
line wrap: on
line diff
--- a/src/monoize.sml	Thu Nov 06 12:22:50 2008 -0500
+++ b/src/monoize.sml	Thu Nov 06 12:46:45 2008 -0500
@@ -1565,13 +1565,9 @@
 
           | L.EFfiApp ("Basis", "nextval", [e]) =>
             let
-                val un = (L'.TRecord [], loc)
-                val int = (L'.TFfi ("Basis", "int"), loc)
                 val (e, fm) = monoExp (env, st, fm) e
             in
-                ((L'.EAbs ("_", un, int,
-                           (L'.ENextval (liftExpInExp 0 e), loc)), loc),
-                 fm)
+                ((L'.ENextval e, loc), fm)
             end
 
           | L.EApp (