testsuite/tests/patsyn/should_compile/T12615.hs


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

{-# LANGUAGE NoImplicitPrelude, PatternSynonyms #-}
{-# OPTIONS_GHC -Wall #-}
module Test where

x :: ()
x = ()

pattern Point2 :: () -> () -> ((), ())
pattern Point2 x y = (x, y)

pattern Point :: () -> () -> ((), ())
pattern Point{x1, y1} = (x1, y1)