diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-06-26 08:09:18 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-06-26 08:15:02 -0400 |
commit | c99d9aab415ad4aef9abdd8dc70a9063c0f6270c (patch) | |
tree | d92833b98f4fc027c915631b56c0df43a0c7d854 | |
parent | 8ec5ceb009299fbb3c5ff1fef39180f5a8fbb774 (diff) | |
download | haskell-c99d9aab415ad4aef9abdd8dc70a9063c0f6270c.tar.gz |
testsuite: Fix T16832
The test seems to have been missing the name of its script and didn't
build with HEAD. How it made it through CI is beyond me.
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T16832.hs | 9 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 2 |
2 files changed, 6 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T16832.hs b/testsuite/tests/typecheck/should_compile/T16832.hs index 8dcd40fe68..052a821c9b 100644 --- a/testsuite/tests/typecheck/should_compile/T16832.hs +++ b/testsuite/tests/typecheck/should_compile/T16832.hs @@ -9,21 +9,22 @@ module WorkingGenerics where import GHC.Generics +import Data.Kind --- type family DiffT (p :: * -> *) :: * -> * +-- type family DiffT (p :: Type -> Type) :: Type -> Type data Void deriving(Generic) class Diff a where - type family Patch a :: * + type family Patch a :: Type type Patch a = GPatch (Rep a) a diff :: a -> a -> Patch a default diff :: (Generic a, GDiff (Rep a), Patch a ~ (GPatch (Rep a)) a) => a -> a -> Patch a diff a a' = gdiff (from a) (from a') -class GDiff (gen :: * -> *) where - type family GPatch gen :: * -> * +class GDiff (gen :: Type -> Type) where + type family GPatch gen :: Type -> Type gdiff :: gen a -> gen a -> (GPatch gen) a instance GDiff V1 where diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index 244aaa2ec4..9f5a976b96 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -683,4 +683,4 @@ test('UnliftedNewtypesForall', normal, compile, ['']) test('UnlifNewUnify', normal, compile, ['']) test('UnliftedNewtypesLPFamily', normal, compile, ['']) test('UnliftedNewtypesDifficultUnification', normal, compile, ['']) -test('T16832', normal, ghci_script, ['']) +test('T16832', normal, ghci_script, ['T16832.script']) |