tc202.hs 175 Bytes
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1

2
-- Tests that subFunTys works when the argument is a type of form (a ty1 ty2)
Simon Peyton Jones's avatar
Simon Peyton Jones committed
3 4 5 6 7 8

module ShouldCompile where

newtype StreamArrow a b c = Str (a [b] [c])

foo = Str $ (\x -> x)