Commit c813d8c9 authored by Richard Eisenberg's avatar Richard Eisenberg Committed by Ben Gamari
Browse files

Regression test for #12742

Location: dependent/should_compile/T12742
parent 3b686879
{-# LANGUAGE TypeInType, RankNTypes, TypeFamilies #-}
module T12742 where
import Data.Kind
type family F :: forall k2. (k1, k2)
data T :: (forall k2. (Bool, k2)) -> Type
type S = T F
......@@ -26,3 +26,4 @@ test('T12442', normal, compile, [''])
test('T13538', normal, compile, [''])
test('T12176', normal, compile, [''])
test('T14038', expect_broken(14038), compile, [''])
test('T12742', normal, compile, [''])
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