Mercurial > urweb
diff src/mono_reduce.sml @ 2050:04d7d563a36f
MonoReduce bug involving 'error'
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 06 Aug 2014 09:50:02 -0400 |
| parents | 4d64af730e35 |
| children | 1b76ae703cbb |
line wrap: on
line diff
--- a/src/mono_reduce.sml Fri Aug 01 16:11:36 2014 -0400 +++ b/src/mono_reduce.sml Wed Aug 06 09:50:02 2014 -0400 @@ -685,7 +685,7 @@ map (fn (p, (EAbs (_, _, _, e), _)) => (p, swapExpVarsPat (0, patBinds p) e) | (p, (EError (e, (TFun (_, t), _)), loc)) => - (p, (EError (e, t), loc)) + (p, (EError (liftExpInExp (patBinds p) e, t), loc)) | (p, e) => (p, (EApp (liftExpInExp (patBinds p) e, (ERel (patBinds p), loc)), loc)))