summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/urweb.grm7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/urweb.grm b/src/urweb.grm
index 5803f445..37bddef7 100644
--- a/src/urweb.grm
+++ b/src/urweb.grm
@@ -589,6 +589,13 @@ cst : UNIQUE tnames (let
end)
(EVar (["Basis"], "mat_nil", Infer), loc)
(#1 tnames :: #2 tnames, #1 tnames' :: #2 tnames')
+ handle ListPair.UnequalLengths =>
+ (ErrorMsg.errorAt loc ("Unequal foreign key list lengths ("
+ ^ Int.toString (1 + length (#2 tnames))
+ ^ " vs. "
+ ^ Int.toString (1 + length (#2 tnames'))
+ ^ ")");
+ (EVar (["Basis"], "mat_nil", Infer), loc))
fun findMode mode =
let