diff options
| author | aarne <aarne@chalmers.se> | 2009-06-22 14:30:55 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2009-06-22 14:30:55 +0000 |
| commit | f8fdaa7accef4c6935e5ecdf9ef292b1f7b2901b (patch) | |
| tree | abef31c1b21ad7bbfa891083130496d72f80dab4 /src/GF | |
| parent | b7f6393e9f9abaf8202f4adb8db12888202f969d (diff) | |
fixed warnings in present compilation of resource, esp. unreached patterns
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index 43abffa02..3c48de3cf 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -787,10 +787,12 @@ checkLType env trm typ0 = do ps <- checkErr $ testOvershadow ps0 vs if null ps then return () + else raise $ "patterns never reached:" +++ + concat (intersperse ", " (map prt ps)) ---- else checkWarn $ "patterns never reached:" +++ ---- concat (intersperse ", " (map prt ps)) - else trace ("WARNING: patterns never reached:" +++ - concat (intersperse ", " (map prt ps))) (return ()) +---- 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 |