Hello Henry,
Changes to GHC regarding the treatment of higher-rank types required a few
changes to that test too. You have to eta-expand the application of mkTT and
give it a type signature. Therefore, main becomes
print $ gzip (\x y - mkTT maxS x y) genCom1 genCom2
and you have to add the
Dear Group,
When trying to run the example at:
http://www.cs.vu.nl/boilerplate/testsuite/gzip/Main.hs
ghc 6.10.1 says
A pattern type signature cannot bind scoped type variables `a'
unless the pattern has a rigid type context
In the pattern: f :: a - a - a
In the definition of