diff options
Diffstat (limited to 'src/GF/Compile')
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 6 |
1 files changed, 3 insertions, 3 deletions
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 |