Mercurial > urweb

comparison src/elaborate.sml @ 1306:3a845f2ce9e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
:::_ notation; switch to TooDeep error message
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 20:33:10 -0400
parents a6fc03d28170
children 5337adf33a4a
comparison
equal deleted inserted replaced
1305:a6fc03d28170 1306:3a845f2ce9e9
1077 | (L'.CUnif (nl, _, _, _, r), _) => 1077 | (L'.CUnif (nl, _, _, _, r), _) =>
1078 if occursCon r c2All then 1078 if occursCon r c2All then
1079 err COccursCheckFailed 1079 err COccursCheckFailed
1080 else 1080 else
1081 (r := SOME (squish nl c2All) 1081 (r := SOME (squish nl c2All)
1082 handle CantSquish => err CIncompatible) 1082 handle CantSquish => err (fn _ => TooDeep))
1083 | (_, L'.CUnif (nl, _, _, _, r)) => 1083 | (_, L'.CUnif (nl, _, _, _, r)) =>
1084 if occursCon r c1All then 1084 if occursCon r c1All then
1085 err COccursCheckFailed 1085 err COccursCheckFailed
1086 else 1086 else
1087 (r := SOME (squish nl c1All) 1087 (r := SOME (squish nl c1All)
1088 handle CantSquish => err CIncompatible) 1088 handle CantSquish => err (fn _ => TooDeep))
1089 1089
1090 | (L'.CUnit, L'.CUnit) => () 1090 | (L'.CUnit, L'.CUnit) => ()
1091 1091
1092 | (L'.TFun (d1, r1), L'.TFun (d2, r2)) => 1092 | (L'.TFun (d1, r1), L'.TFun (d2, r2)) =>
1093 (unifyCons' env loc d1 d2; 1093 (unifyCons' env loc d1 d2;