patch applied (testsuite): Eta expansion and scoped type variables in generic code

Simon Peyton Jones simonpj at microsoft.com
Thu Feb 2 08:03:27 EST 2006


Wed Feb  1 09:12:38 PST 2006  simonpj at microsoft.com
  * Eta expansion and scoped type variables in generic code
  
  The new story on higher-rank types requires a few functions to be
  eta-expanded.  And the new scoped-type-variable story also forces
  a few changes.
  

    M ./tests/ghc-regress/lib/Generics/gread2.hs -12 +10
    M ./tests/ghc-regress/lib/Generics/gzip/Main.hs +2
    M ./tests/ghc-regress/lib/Generics/hopat.hs -4 +2
    M ./tests/ghc-regress/lib/Generics/reify/Main.hs -2 +5
    M ./tests/ghc-regress/lib/Generics/twin.hs +2


More information about the Cvs-ghc mailing list