diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-11-06 12:46:45 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-06 12:46:45 -0500 |
commit | 24777c2dc9b6ea0f3db24ae372be2af0c3f70602 (patch) | |
tree | 199cf905309f9068ba5eb6d2e395a8f12f403343 /src/mono_reduce.sml | |
parent | 6c3a51281f4140589e1b7dfb01b17b6ee38cb4bc (diff) |
Cookie prose; fix bugs that broke demo compilation
Diffstat (limited to 'src/mono_reduce.sml')
-rw-r--r-- | src/mono_reduce.sml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml index 3c4ac0df..bf68f175 100644 --- a/src/mono_reduce.sml +++ b/src/mono_reduce.sml @@ -352,9 +352,10 @@ fun exp env e = (EApp (b, liftExpInExp 0 e'), loc)), loc)) | ELet (x, t, e', (EAbs (x', t' as (TRecord [], _), ran, e''), loc)) => - if impure e' then + (*if impure e' then e - else + else*) + (* Seems unsound in general without the check... should revisit later *) EAbs (x', t', ran, (ELet (x, t, liftExpInExp 0 e', swapExpVars 0 e''), loc)) | ELet (x, t, e', b) => |