diff options
| author | aarne <aarne@chalmers.se> | 2009-06-22 14:51:58 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2009-06-22 14:51:58 +0000 |
| commit | 3049b59b35b25381a7c6787444165c200d66e08b (patch) | |
| tree | 970b94e58988ccb92e7b6e495909a0b61fcd8628 /src | |
| parent | ff29836c9b29a7bd5373c8517b282798ae44418e (diff) | |
cleaning up overshadow failure to warning, after testing resource compilation
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index 3c48de3cf..cc2083a47 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -787,13 +787,15 @@ 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)) +---- use this if you want to see where the error is +-- else raise $ "patterns never reached:" +++ +-- concat (intersperse ", " (map prt ps)) +---- else use this + else trace ("WARNING: patterns never reached:" +++ + concat (intersperse ", " (map prt ps))) (return ()) +---- AR 6/4/2009: this would be the best but checkWarn doesn't show because of laziness (?) ---- else checkWarn $ "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 |