diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2017-06-27 10:29:23 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-06-27 12:55:06 -0400 |
| commit | 12a3c394b12e5e07314895e6c419f4f4031ad3a9 (patch) | |
| tree | 32090318e346dd5b02a06ced4edec5fbc5253a2e | |
| parent | 9ef909db5ed3dc45fc1acdb608ad3f1896362966 (diff) | |
| download | haskell-12a3c394b12e5e07314895e6c419f4f4031ad3a9.tar.gz | |
testsuite: Add broken test for #13871
Test Plan: Validate
Reviewers: austin
Subscribers: rwbarton, thomie, RyanGlScott
GHC Trac Issues: #13871
Differential Revision: https://phabricator.haskell.org/D3671
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T13871.hs | 15 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 1 |
2 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T13871.hs b/testsuite/tests/typecheck/should_compile/T13871.hs new file mode 100644 index 0000000000..319d949647 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T13871.hs @@ -0,0 +1,15 @@ +{-# LANGUAGE ConstraintKinds #-} +{-# LANGUAGE GADTs #-} +{-# LANGUAGE TypeFamilies #-} +{-# LANGUAGE TypeInType #-} +{-# LANGUAGE TypeOperators #-} +module Foo where + +import Data.Kind + +data Foo (a :: Type) (b :: Type) where + MkFoo :: (a ~ Int, b ~ Char) => Foo a b + +data family Sing (a :: k) +data SFoo (z :: Foo a b) where + SMkFoo :: SFoo MkFoo diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index b267819df4..5c3b323d56 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -564,3 +564,4 @@ test('T13651', normal, compile, ['']) test('T13785', normal, compile, ['']) test('T13804', normal, compile, ['']) test('T13822', normal, compile, ['']) +test('T13871', expect_broken(13871), compile, ['']) |