diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-01-20 15:11:45 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-01-20 15:11:45 -0500 |
| commit | 5e551876d67ac610c2a392acc2417e623002a51e (patch) | |
| tree | 008aed8a59eeb1194b399bb244f7ab66101291c4 /src/elaborate.sml | |
| parent | 376ee602dc967529bd703b5cfe72b2b9dac8dbbd (diff) | |
Some fixes for tasks and onError handlers
Diffstat (limited to 'src/elaborate.sml')
| -rw-r--r-- | src/elaborate.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index 2da34725..61a0b1c0 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -4012,7 +4012,8 @@ and elabDecl (dAll as (d, loc), (env, denv, gs)) = val xpage = (L'.CApp ((L'.CModProj (!basis_r, [], "transaction"), loc), page), loc) val func = (L'.TFun ((L'.CModProj (!basis_r, [], "xbody"), loc), xpage), loc) in - unifyCons env loc t func; + (unifyCons env loc t func + handle CUnify _ => ErrorMsg.error "onError handler has wrong type."); ([(L'.DOnError (n, ms, s), loc)], (env, denv, gs)) end) |