projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc7fd02) | patch
Fix Trac #3540: malformed types
authorsimonpj@microsoft.com <unknown>
Wed, 30 Sep 2009 10:47:03 +0000 (10:47 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 30 Sep 2009 10:47:03 +0000 (10:47 +0000)
commit0d129b4ff3c2495a7d2b5bb4b475167936672c1c
tree327a8997730c7bfcb1ac81e1ceff43c8de38b0fatree | snapshot
parentcc7fd02d59c5b15f2aee8f3a420d3f6ee3048096commit | diff
Fix Trac #3540: malformed types

Tidy up the way that predicates are handled inside types
compiler/typecheck/TcBinds.lhs diff | blob | history
compiler/typecheck/TcHsType.lhs diff | blob | history
compiler/typecheck/TcMType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)