testsuite/tests/module/T20562.hs


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

{-# LANGUAGE PatternSynonyms #-}
module Main (main) where

import GHC.Tuple

type OneTuple = Solo

only :: OneTuple a -> a
only = getSolo

pattern OneTuple :: a -> Solo a
pattern OneTuple a = Solo a

main :: IO ()
main = print (only (OneTuple 'x'))