projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c88fe0) | patch
Fix TcUnify.subFunTys in AppTy case
authorsimonpj@microsoft.com <unknown>
Tue, 31 Jan 2006 12:24:20 +0000 (12:24 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 31 Jan 2006 12:24:20 +0000 (12:24 +0000)
commitc362e21663e6222c01be3106c80ea9452c4ae222
treee3dd98b7d15f698851f1f2bc314ed37a5572c37btree | snapshot
parent0c88fe0000481527a0a9f6305512ac2f605340d5commit | diff
Fix TcUnify.subFunTys in AppTy case

subFunTys wasn't dealing correctly with the case where the type
to be split was of form (a ty1), where a is a type variable.

This shows up when compiling
Control.Arrow.Transformer.Stream
in package arrows.

This commit fixes it.
ghc/compiler/typecheck/TcExpr.lhs diff | blob | history
ghc/compiler/typecheck/TcMType.lhs diff | blob | history
ghc/compiler/typecheck/TcPat.lhs diff | blob | history
ghc/compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)