comparison src/urweb.grm @ 1401:af501150678a

Error message when FOREIGN KEY listts have different lengths
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Jan 2011 14:16:09 -0500
parents 02fc16faecf3
children 5f4fee8a4dcd
comparison
equal deleted inserted replaced
1400:c57414e39321 1401:af501150678a
587 in 587 in
588 (EApp (e, mat), loc) 588 (EApp (e, mat), loc)
589 end) 589 end)
590 (EVar (["Basis"], "mat_nil", Infer), loc) 590 (EVar (["Basis"], "mat_nil", Infer), loc)
591 (#1 tnames :: #2 tnames, #1 tnames' :: #2 tnames') 591 (#1 tnames :: #2 tnames, #1 tnames' :: #2 tnames')
592 handle ListPair.UnequalLengths =>
593 (ErrorMsg.errorAt loc ("Unequal foreign key list lengths ("
594 ^ Int.toString (1 + length (#2 tnames))
595 ^ " vs. "
596 ^ Int.toString (1 + length (#2 tnames'))
597 ^ ")");
598 (EVar (["Basis"], "mat_nil", Infer), loc))
592 599
593 fun findMode mode = 600 fun findMode mode =
594 let 601 let
595 fun findMode' pmodes = 602 fun findMode' pmodes =
596 case pmodes of 603 case pmodes of