Commit a13adcf8 authored by Ryan Scott's avatar Ryan Scott

Add regression test for #11964

This issue was only ever present in the GHC 8.0.1 release candidates, but
let's add a regression test for it just to be safe.
parent ba5114e3
module T11964 where
import Data.Kind
import T11964a
t1 :: T Type Int
t1 = T ()
t2 :: T Star Int
t2 = T ()
{-# LANGUAGE TypeInType #-}
module T11964a where
import Data.Kind
type Star = Type
newtype T k (t :: k) = T ()
# test('T11311', normal, compile_and_run, [''])
test('T11964', normal, multimod_compile, ['T11964', '-v0'])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment