projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 615dbe7) | patch
Fix tcInstHeadTyNotSynonym
authorIan Lynagh <igloo@earth.li>
Tue, 10 Jul 2007 12:47:38 +0000 (12:47 +0000)
committerIan Lynagh <igloo@earth.li>
Tue, 10 Jul 2007 12:47:38 +0000 (12:47 +0000)
commit11e80952ae15cf95b89c01466ee1970fb7161d7f
tree92a760ae2c7a664d45cb4916a9d56522fc5b6efbtree | snapshot
parent615dbe7edd0a51bcb61565081dfa09a9bf37058dcommit | diff
Fix tcInstHeadTyNotSynonym
It was returning False for type variables amongst other things, so
"instance C a" was telling us to use -XTypeSynonymInstances.
compiler/typecheck/TcType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)