blob: 397679ab0b223bf53cbc273ba4b020b551584e24 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE PatternSynonyms #-}
-- turn on with -fwarn-missing-pattern-synonym-signatures
module Foo where
-- Should warn because of missing signature
pattern T = True
pattern J a = Just a
pattern J1 a <- Just a
pattern J2{b} = Just b
pattern J3{c} <- Just c
pattern F :: Bool
pattern F = False
|
