projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c9e716) | patch
Type families: fix decomposition problem
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 25 Sep 2008 08:41:39 +0000 (08:41 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 25 Sep 2008 08:41:39 +0000 (08:41 +0000)
commit654d07dd0fb679d014ac363e13c004b0086d0d6e
tree6087496d6851792841d0113ed0fa33c5c71a6e6etree | snapshot
parent9c9e716300335d9877227e06b24235bba68787a1commit | diff
Type families: fix decomposition problem
* Fixes the problem reported in
  <http://www.haskell.org/pipermail/haskell-cafe/2008-July/044911.html>
compiler/typecheck/TcTyFuns.lhs diff | blob | history
compiler/typecheck/TcType.lhs diff | blob | history
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)