Testsuite: tabs -> spaces [skip ci]
[ghc.git] / testsuite / tests / gadt / T3638.hs
1 {-# LANGUAGE GADTs #-}
2
3 module T3638 where
4
5 data T a where TInt :: T Int
6
7 foo :: T Int -> Int
8 {-# NOINLINE [1] foo #-}
9 foo TInt = 0
10
11 {-# RULES "foo" forall x. foo x = case x of { TInt -> 0 } #-}