testsuite/tests/gadt/T20485.hs


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

{-# LANGUAGE PatternSynonyms #-}
module T20485 where

import Data.Type.Equality

f :: a :~: b -> a -> b
f Refl x = x

pattern ReflPat = Refl

g :: a :~: b -> a -> b
g ReflPat x = x