Fold integer-gmp.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail167.hs
1 {-# LANGUAGE GADTs #-}
2 {-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
3 -- Test inspired by trac #366
4 -- The C2 case is impossible due to the types
5
6 module ShouldCompile where
7
8 data T a where
9 C1 :: T Char
10 C2 :: T Float
11
12 inaccessible :: T Char -> Char
13 inaccessible C1 = ' '
14 inaccessible C2 = ' '
15