projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3db3a00) | patch
FIX: TypeFamilies: should_compile/Simple12
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun, 16 Sep 2007 13:04:19 +0000 (13:04 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun, 16 Sep 2007 13:04:19 +0000 (13:04 +0000)
commit1b6b0ba3b93351045e19df9fa9cb0f8baf033afc
tree0025dae2e1c04bbb582130294201e32b101d8af3tree | snapshot
parent3db3a003331b41794a494c8db954517a5a2bf930commit | diff
FIX: TypeFamilies: should_compile/Simple12
- checkTauTvUpdate now distinguishes between whether
  (1) a type variables occurs only in type family parameters
      (in which case unification is to be deferred)
  (2) other variable occurences
      (which case we fail with a cannot create infinite type message, as before)
compiler/typecheck/TcMType.lhs diff | blob | history
compiler/typecheck/TcTyFuns.lhs diff | blob | history
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)