testsuite/tests/typecheck/should_compile/T17594a.hs


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

module T17594a where

id1 :: forall a. a -> a
id1 @a x = x

id2 :: forall a. a -> a
id2 @_ x = x

id3 :: forall a. a -> a
id3 @a (x :: a) = x

const' :: forall a. a -> forall b. b -> a
const' @a x @b y = x