patch applied (ghc-6.10/ghc): Type families: need to instantiate flexible skolems before other flexibles

Ian Lynagh igloo at earth.li
Tue Sep 30 13:47:05 EDT 2008


Mon Sep 29 22:35:59 PDT 2008  Manuel M T Chakravarty <chak at cse.unsw.edu.au>
  * Type families: need to instantiate flexible skolems before other flexibles
  
  MERGE TO 6.10

    M ./compiler/typecheck/TcTyFuns.lhs -36 +45

View patch online:
http://darcs.haskell.org/ghc-6.10/ghc/_darcs/patches/20080930053559-6295e-05e4df5ba004aa4c4cb2db011cefef8e500ed250.gz



More information about the Cvs-ghc mailing list