projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f515d87) | patch
Fix family instance bug due to the name parent elimination
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 19 Oct 2006 18:01:03 +0000 (18:01 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 19 Oct 2006 18:01:03 +0000 (18:01 +0000)
commit97236c9f9c903d01d99ada4e440fb9c37c6b27fd
treeafe58f0e65ce8129ac1238900f3fc5a7ce56a15dtree | snapshot
parentf515d87a510f9cd3d416d83e95e6e0f0298f7d18commit | diff
Fix family instance bug due to the name parent elimination
- Its important that `isImplicitTyCon' considers
  (a) associated families to be implicit, but
  (b) considers family instances *not* to be implicit (for the same reasons
      that a dfun is not implicit).
compiler/types/TyCon.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)