testsuite/tests/pmcheck/should_compile/T366.hs


1
2
3
4
5
6
7
8
9
10

{-# OPTIONS_GHC -XGADTs -fwarn-incomplete-patterns -fwarn-overlapping-patterns #-}

module T366 where

data T a where
  C1 :: T Char
  C2 :: T Float

exhaustive :: T Char -> Char
exhaustive C1 = ' '