blob: fcff9db1a4354b42f31252633ea565cfb55dec2d (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE PolyKinds #-}
module Bug where
import GHC.Exts
type Bad = forall (v1 :: RuntimeRep) (a1 :: TYPE v). a1
-- should be accepted because GHC will generalize over v. Note v /= v1.
|