Commit 79aaf888 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Eta expand gzip test to match new higher-rank-type story

parent 182805d1
......@@ -14,7 +14,10 @@ import Data.Generics
import CompanyDatatypes
-- The main function which prints the result of zipping
main = print $ gzip (mkTT maxS) genCom1 genCom2
main = print $ gzip (\x y -> mkTT maxS x y) genCom1 genCom2
-- NB: the argument has to be eta-expanded to match
-- the type of gzip's argument type, which is
-- GenericQ (GenericM Maybe)
where
-- Variations on the show case company "genCom"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment