summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/elaborate.sml')
-rw-r--r--src/elaborate.sml10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml
index d492883f..5029ef4d 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -1220,6 +1220,11 @@
else
err (fn _ => TooLifty (loc1, loc2))
+ | (L'.CRecord _, _) => isRecord ()
+ | (_, L'.CRecord _) => isRecord ()
+ | (L'.CConcat _, _) => isRecord ()
+ | (_, L'.CConcat _) => isRecord ()
+
| (L'.CUnif (0, _, _, _, r as ref (L'.Unknown f)), _) =>
if occursCon r c2All then
err COccursCheckFailed
@@ -1262,11 +1267,6 @@
end
handle CantSquish => err (fn _ => TooDeep))
- | (L'.CRecord _, _) => isRecord ()
- | (_, L'.CRecord _) => isRecord ()
- | (L'.CConcat _, _) => isRecord ()
- | (_, L'.CConcat _) => isRecord ()
-
| (L'.CUnit, L'.CUnit) => ()