diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2016-07-20 17:21:35 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-07-20 17:24:26 +0200 |
| commit | a4f2b76661fa2056172b27b9883df1f488b7a0dc (patch) | |
| tree | 9b3f1264791c5acb0ae09dafa4beb3757cf911fe | |
| parent | 9513fe6bdeafd35ca1a04e17b5f94732516766aa (diff) | |
| download | haskell-a4f2b76661fa2056172b27b9883df1f488b7a0dc.tar.gz | |
testsuite: Add regression test for #12381
Test Plan: Validate
Reviewers: austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2408
GHC Trac Issues: #12381, #11348
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T12381.hs | 10 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 1 |
2 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T12381.hs b/testsuite/tests/typecheck/should_compile/T12381.hs new file mode 100644 index 0000000000..9d4d731374 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T12381.hs @@ -0,0 +1,10 @@ +{-# 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 diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index 7333ffb68e..995fa2a566 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -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, ['']) |