Mercurial > urweb

diff src/cjrize.sml @ 280:fdd7a698be01

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Compiling a parametrized query the inefficient way
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 17:31:45 -0400
parents 09c66a30ef32
children 0236d9412ad2
line wrap: on
line diff
--- a/src/cjrize.sml	Tue Sep 02 16:18:05 2008 -0400
+++ b/src/cjrize.sml	Tue Sep 02 17:31:45 2008 -0400
@@ -171,7 +171,7 @@
             ((L'.PRecord xps, loc), sm)
         end
 
-fun cifyExp ((e, loc), sm) =
+fun cifyExp (eAll as (e, loc), sm) =
     case e of
         L.EPrim p => ((L'.EPrim p, loc), sm)
       | L.ERel n => ((L'.ERel n, loc), sm)
@@ -206,6 +206,7 @@
             ((L'.EApp (e1, e2), loc), sm)
         end
       | L.EAbs _ => (ErrorMsg.errorAt loc "Anonymous function remains at code generation";
+                     Print.prefaces' [("Function", MonoPrint.p_exp MonoEnv.empty eAll)];
                      (dummye, sm))
 
       | L.ERecord xes =>