projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1aa7ab2) | patch
Fix generalisation during type inference (again); fixes Trac #1564
authorsimonpj@microsoft.com <unknown>
Wed, 1 Aug 2007 07:26:12 +0000 (07:26 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 1 Aug 2007 07:26:12 +0000 (07:26 +0000)
commit4b305a0208c88ce6ac7a4899a9d565277b7a119c
tree7e87706bebc793bfa659b22f6a198d0df863ecbdtree | snapshot
parent1aa7ab237f38be02a9f4c2752cd5042ff5810a38commit | diff
Fix generalisation during type inference (again); fixes Trac #1564

Figuring out which type variables to generalise when inferring the type
of a let-bound function is always trickier than I think!  This patch
fixes a bug (related, inevitably, to functional depenencies) found by
iampure, Trac #1564.  I'll add a test shortly.
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)