patch applied (ghc): Make mkDFunUnfolding more robust

[Simon Peyton Jones]

Wed Dec 22 05:08:54 PST 2010  simonpj at microsoft.com
  * Make mkDFunUnfolding more robust
  
  It now uses tcSplitDFunTy, which is designed for the purpose and
  allows arbitrary argument types to the dfun, rather than
  tcSplitSigmaTy.  This generality is used in DPH, which has
  internally-generated dfuns with impliciation-typed arguments.
  
  To do this I had to make tcSplitDFunTy return the number of
  arguments, so there are some minor knock-on effects in other
  modules.

    M ./compiler/coreSyn/CoreUnfold.lhs -10 +6
    M ./compiler/iface/MkIface.lhs -1 +1
    M ./compiler/iface/TcIface.lhs -1 +1
    M ./compiler/typecheck/TcInstDcls.lhs -1 +1
    M ./compiler/typecheck/TcType.lhs -9 +10
    M ./compiler/types/InstEnv.lhs -3 +3

View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=20101222130854-1287e-cd606b7e07851f9ff180d37847d63a88b3eb8d45.gz