summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/Tcfail186_Help.hs
blob: bdf67f4747e9fe92a459c064009636e838057ed2 (plain)
1
2
3
4
5
module Tcfail186_Help where

type PhantomSyn a  = Int

f = (\_ -> 2) :: PhantomSyn a -> Int