tc202.hs 175 Bytes
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1 2 3 4 5 6 7 8

-- Tests that subFunTys works when the arugment is a type of form (a ty1 ty2)

module ShouldCompile where

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

foo = Str $ (\x -> x)