summaryrefslogtreecommitdiff
path: root/src/GF/Compile/CheckGrammar.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/GF/Compile/CheckGrammar.hs')
-rw-r--r--src/GF/Compile/CheckGrammar.hs6
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