Testsuite: tabs -> spaces [skip ci]
[ghc.git] / testsuite / tests / gadt / gadt13.hs
1 {-# LANGUAGE GADTs #-}
2
3 -- This should fail, because there is no annotation on shw,
4 -- but it succeeds in 6.4.1
5 --
6 -- It fails again with 7.8 because Outside in doesn't
7 -- unify under an equality constraint
8
9 module ShouldFail where
10
11 data Term a where
12 B :: Bool -> Term Bool
13 I :: Int -> Term Int
14
15 shw (I t) = ("I "++) . shows t
16 -- shw (B t) = ("B "++) . shows t
17