projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f520983) | patch
Reject programs with superclass equalities for now
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 21 Oct 2008 13:17:21 +0000 (13:17 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 21 Oct 2008 13:17:21 +0000 (13:17 +0000)
commit52d22b94d7c3a71f584ce71c057a86ab9826da41
treea45b41e7f6d51c43c8c258258bf5b6ee10281905tree | snapshot
parentf5209837011fe1ff46e94d7d807c16f2fd6cb0e2commit | diff
Reject programs with superclass equalities for now
- The current implementation of type families cannot properly deal
  with superclass equalities.  Instead of making a half-hearted attempt at
  supporting them, which mostly ends in cryptic error message, rejecting
  right away with an appropriate message.

  MERGE TO 6.10
compiler/typecheck/TcMType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)