testsuite/tests/rep-poly/T19709a.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE TemplateHaskell, ExplicitForAll, PolyKinds #-}

module T19709a where

import GHC.Exts

$( let levid :: forall (r :: RuntimeRep) (a :: TYPE r). a -> a
       levid x = x
   in return [] )