blob: b4d404a74d59ccf0e49ddb6c04caad69bfb2b4c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE GADTs #-}
{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
-- Test inspired by trac #366
-- The C2 case is impossible due to the types
module ShouldCompile where
data T a where
C1 :: T Char
C2 :: T Float
inaccessible :: T Char -> Char
inaccessible C1 = ' '
inaccessible C2 = ' '
|