projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4fe928) | patch
Fix Trac #1759: do not let ticks get in the way of spotting trivially-true guards
authorsimonpj@microsoft.com <unknown>
Wed, 10 Oct 2007 16:47:31 +0000 (16:47 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 10 Oct 2007 16:47:31 +0000 (16:47 +0000)
commitfe131871441f3a0b0f5ed7e8978cb89f05be97c7
treef946236e1fdf70138c5b1589ca6d297807433970tree | snapshot
parentf4fe9286b499aa991fa5b2ce20f0163966af4b58commit | diff
Fix Trac #1759: do not let ticks get in the way of spotting trivially-true guards

GHC spots that an 'otherwise' guard is true, and uses that knowledge to
avoid reporting spurious missing-pattern or overlaps with -Wall.

The HPC ticks were disguising the 'otherwise', which led to this failure.
Now we check.  The key change is defining DsGRHSs.isTrueLHsExpr.

Test is ds062
compiler/deSugar/DsGRHSs.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)