Commit a4f2b766 authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari
Browse files

testsuite: Add regression test for #12381

Test Plan: Validate

Reviewers: austin

Subscribers: thomie

Differential Revision:

GHC Trac Issues: #12381, #11348
parent 9513fe6b
{-# LANGUAGE TypeInType, TypeFamilies #-}
module Kinds where
import GHC.Types
type family G (a :: Type) :: Type
type instance G Int = Bool
type family F (a :: Type) :: G a
type instance F Int = True
......@@ -531,3 +531,4 @@ test('T12067', extra_clean(['T12067a.hi', 'T12067a.o']),
multimod_compile, ['T12067', '-v0'])
test('T12185', normal, compile, [''])
test('T12133', normal, compile, [''])
test('T12381', 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