testsuite/tests/dependent/should_fail/TypeSkolEscape.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE RankNTypes, PolyKinds, TypeInType #-}
-- NB: -fprint-explicit-runtime-reps enabled in all.T

module TypeSkolEscape where

import GHC.Types
import GHC.Exts

type Bad = forall (v :: RuntimeRep) (a :: TYPE v). a