Major Overhaul of Pattern Match Checking (Fixes #595)
[ghc.git] / testsuite / tests / pmcheck / should_compile / T2006.hs
1 {-# OPTIONS_GHC -fwarn-incomplete-patterns -fwarn-overlapping-patterns #-}
2 {-# LANGUAGE GADTs #-}
3
4 module T2006 where
5
6 data Expr a vs where
7 EPrim :: String -> a -> Expr a vs
8 EVar :: Expr a (a,vs)
9
10 interpret :: Expr a () -> a
11 interpret (EPrim _ a) = a
12 -- interpret EVar = error "unreachable"
13