testsuite/tests/rep-poly/RepPolyLambda.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}

module RepPolyLambda where

import Data.Kind
import GHC.Exts

f :: forall r (a :: TYPE r). a -> a
f = \ x -> x