From d1dc04747bbcd198379449f96759488d57ade386 Mon Sep 17 00:00:00 2001 From: aarne Date: Sun, 18 Jun 2006 19:23:00 +0000 Subject: restored lock fields with a clearer warning --- src/GF/Compile/CheckGrammar.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/GF/Compile/CheckGrammar.hs') diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index d01d2b097..0359c0679 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -771,12 +771,12 @@ checkEqLType env t u trm = do case t' == u' || alpha [] t' u' of True -> return t' -- forgive missing lock fields by only generating a warning. - --- better: use a flag to forgive (AR 31/1/2006) + --- better: use a flag to forgive? (AR 31/1/2006) _ -> case missingLock [] t' u' of Ok lo -> do - checkWarn $ "missing lock field" +++ unwords (map prt lo) + checkWarn $ "WARNING: missing lock field" +++ unwords (map prt lo) return t' - Bad s -> raise (s ++ "type of" +++ prt trm +++ + Bad s -> raise (s +++ "type of" +++ prt trm +++ ": expected" ++++ prt t' ++++ "inferred" ++++ prt u') where -- cgit v1.2.3