testsuite/tests/pmcheck/complete_sigs/completesig05.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# OPTIONS_GHC -Wall #-}
module Completesig05 where

-- Matching against multiple arguments

data T = A | B | C
data S = D | E | F

{-# COMPLETE A, B #-}
{-# COMPLETE D #-}

match :: T -> S -> ()
match A D = ()
match B D = ()