projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 016bac7) | patch
TcUnify.subFunTys must take type families into account
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 17 Oct 2007 11:43:26 +0000 (11:43 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 17 Oct 2007 11:43:26 +0000 (11:43 +0000)
commite86da1bb671f77ec08d400a2a6569b6ee7a805ef
tree46409151a7592610f28ad247ac70b118f0422d93tree | snapshot
parent016bac72c041e8589ece82fe86906fc9cf8f950ccommit | diff
TcUnify.subFunTys must take type families into account
* A bug reported by Andrew Appleyard revealed that subFunTys did take
  neither type families nor equalities into account.  In a fairly obscure
  case there was also a coercion ignored.
compiler/hsSyn/HsUtils.lhs diff | blob | history
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)