testsuite/tests/typecheck/should_compile/LevPolyResult.hs


1
2
3
4
5
6
7
8
9
10
11

{-# language DataKinds #-}
{-# language KindSignatures #-}
{-# language PolyKinds #-}
{-# language RankNTypes #-}

module LevPolyResult (example) where

import GHC.Exts

example :: forall (v :: Levity) (a :: TYPE ('BoxedRep v)). (Int -> a) -> a
example f = f 42