projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8b4f75) | patch
Fix #1662: do not simplify constraints for vanilla pattern matches
authorsimonpj@microsoft.com <unknown>
Tue, 16 Oct 2007 12:47:10 +0000 (12:47 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 16 Oct 2007 12:47:10 +0000 (12:47 +0000)
commit56a39804b7ba971a170eff8c129882460e1ba24b
treed09124b8b296f02000f80e2a375ec45de949b6fatree | snapshot
parente8b4f75a43685b56d8300dee9db2472977fba8fccommit | diff
Fix #1662: do not simplify constraints for vanilla pattern matches

See Note [Arrows and patterns] in TcPat.

This fixes Trac 1662.   Test is arrows/should_compile/arrowpat.hs

Please merge
compiler/typecheck/TcPat.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)