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 (Solo (MkSolo), getSolo)

type OneTuple = Solo

only :: OneTuple a -> a
only = getSolo

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

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