testsuite/tests/gadt/T20485a.hs


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

{-# LANGUAGE PatternSynonyms, MonoLocalBinds #-}
module T20485a 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