blob: 13b02e65d605501fb305d39513ae3170f8cab4b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE ViewPatterns, ExistentialQuantification #-}
{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
-- None of these should give incomplete-pattern warnings
module T4439 where
data Moo = Moo (Char -> Int)
spqr (Moo _) = undefined
foo (id -> Moo _) = undefined
data Exists = forall a. Exists (a -> Int)
bar (Exists _) = undefined
baz (id -> Exists _) = undefined
|
