diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-02 17:31:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-02 17:31:45 -0400 |
| commit | ab29ac3337d2be88ae3288652e999873be1dcf14 (patch) | |
| tree | d3816565ec3c8518bb73979bd5957e8d324375f9 /src/cjrize.sml | |
| parent | 5885d66bebeece6ba2f7b6a1b11f719086423114 (diff) | |
Compiling a parametrized query the inefficient way
Diffstat (limited to 'src/cjrize.sml')
| -rw-r--r-- | src/cjrize.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/cjrize.sml b/src/cjrize.sml index 88fae6f0..ed8182c2 100644 --- a/src/cjrize.sml +++ b/src/cjrize.sml @@ -171,7 +171,7 @@ fun cifyPat ((p, loc), sm) = ((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 @@ fun cifyExp ((e, loc), sm) = ((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 => |