Move tests from tests/ghc-regress/* to just tests/*
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail107.hs
1 -- The type sig for 'test' is illegal in H98 because of the
2 -- partial application of the type sig.
3 -- But with the LiberalTypeSynonyms extension enabled it
4 -- should be OK because when you expand the type synonyms
5 -- it's just Int->Int
6 -- c.f should_compile/tc155.hs
7 module ShouldFail where
8
9 type Thing m = m ()
10
11 type Const a b = a
12
13 test :: Thing (Const Int) -> Thing (Const Int)
14 test = test