projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1db0df) | patch
Improve the recent changes to overlap-checking for view patters
authorsimonpj@microsoft.com <unknown>
Mon, 10 Aug 2009 14:11:58 +0000 (14:11 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 10 Aug 2009 14:11:58 +0000 (14:11 +0000)
commit9504390ca8d82e3cb9618e44baea124ce27b9bde
tree31e23ef86841af9011e13dae273854f9c29174a6tree | snapshot
parentd1db0dfa1c85fe6d1882c4722a34b13c29177d20commit | diff
Improve the recent changes to overlap-checking for view patters

The previous patch simply gave up for view patterns; this version
instead treats them like n+k patterns and gives signficantly better
results.

Less code, too.
compiler/deSugar/Check.lhs diff | blob | history
compiler/hsSyn/HsPat.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)