From 37ed8d2e9f2a3ba1c444883c6947a988a43116e6 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 16 Jan 2011 14:16:09 -0500 Subject: Error message when FOREIGN KEY listts have different lengths --- src/urweb.grm | 7 +++++++ 1 file changed, 7 insertions(+) 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 -- cgit v1.2.3