From 599e3a956aff1a82c527c76c09f8b9ac9df690d1 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 20 Jan 2011 15:11:45 -0500
Subject: Some fixes for tasks and onError handlers

---
 src/elaborate.sml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/elaborate.sml')

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)
 
-- 
cgit v1.2.3