COMPLETE pragmas for enhanced pattern exhaustiveness checking
[ghc.git] / testsuite / tests / pmcheck / complete_sigs / completesig09.hs
1 {-# OPTIONS_GHC -Wall #-}
2 module Completesig08 where
3
4 -- Nested matching
5
6 data T = A S | B
7 data S = D | E
8
9 {-# COMPLETE A #-}
10 {-# COMPLETE D #-}
11
12 m1 :: T -> ()
13 m1 (A D) = ()