From c7376c78a99ef702486c77eda240104e7856b83c Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 6 Apr 2009 14:07:22 +0000 Subject: warning for overshadowed patterns, temporal solution --- src/GF/Compile/CheckGrammar.hs | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'src/GF/Compile') diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index 61c361199..47434d74e 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -774,8 +774,11 @@ checkLType env trm typ0 = do ps <- checkErr $ testOvershadow ps0 vs if null ps then return () - else checkWarn $ "WARNING: patterns never reached:" +++ - concat (intersperse ", " (map prt ps)) +---- else checkWarn $ "WARNING: patterns never reached:" +++ +---- concat (intersperse ", " (map prt ps)) + else trace ("WARNING: patterns never reached:" +++ + concat (intersperse ", " (map prt ps))) (return ()) +---- AR 6/4/2009: checkWarn doesn't show because of laziness (?) _ -> return () -- happens with variable types cs' <- mapM (checkCase arg val) cs -- cgit v1.2.3