projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a66541a) | patch
Fix Trac #4361: be more discerning when inferring types
authorsimonpj@microsoft.com <unknown>
Fri, 8 Oct 2010 11:12:27 +0000 (11:12 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 8 Oct 2010 11:12:27 +0000 (11:12 +0000)
commitd39629e988c3eb2ef1def1e423a18dd1289a7a52
tree27cfc2d1ec68ab482c5fe0f003df70bee64a67e5tree | snapshot
parenta66541af84d102f32b73fb7f89f48008c01092a6commit | diff
Fix Trac #4361: be more discerning when inferring types

Note [Avoid unecessary constraint simplification] in TcSimplify
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)