testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc215.hs
1 {-# LANGUAGE GADTs #-}
2 {-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
3
4 -- Test for trac #366
5 -- The C2 case is impossible due to the types
6
7 module ShouldCompile where
8
9 data T a where
10 C1 :: T Char
11 C2 :: T Float
12
13 exhaustive :: T Char -> Char
14 exhaustive C1 = ' '
15