diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2022-12-08 15:06:34 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-12-15 03:55:51 -0500 |
| commit | 933d61a44a9409bf0d4bff0cceca1f02f48da4dd (patch) | |
| tree | 94b76d3a097750f21f1d03aabbe119df9ff46c96 /testsuite/tests/indexed-types | |
| parent | 552b7908d8703e9478cee418721b311e033391dc (diff) | |
| download | haskell-933d61a44a9409bf0d4bff0cceca1f02f48da4dd.tar.gz | |
Fix bogus test in Lint
The Lint check for branch compatiblity within an axiom, in
GHC.Core.Lint.compatible_branches was subtly different to the
check made when contructing an axiom, in
GHC.Core.FamInstEnv.compatibleBranches.
The latter is correct, so I killed the former and am now using the
latter.
On the way I did some improvements to pretty-printing and documentation.
Diffstat (limited to 'testsuite/tests/indexed-types')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/T22547.hs | 10 | ||||
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/all.T | 1 |
2 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T22547.hs b/testsuite/tests/indexed-types/should_compile/T22547.hs new file mode 100644 index 0000000000..926f580adb --- /dev/null +++ b/testsuite/tests/indexed-types/should_compile/T22547.hs @@ -0,0 +1,10 @@ +{-# LANGUAGE TypeFamilies #-} +module M where + +import Data.Kind (Type) + +data MP1 a = MP1 a + +type family Fixup (f :: Type) (g :: Type) :: Type where + Fixup f (MP1 f) = Int + Fixup f f = f diff --git a/testsuite/tests/indexed-types/should_compile/all.T b/testsuite/tests/indexed-types/should_compile/all.T index 9fd26a660e..b65d9dc382 100644 --- a/testsuite/tests/indexed-types/should_compile/all.T +++ b/testsuite/tests/indexed-types/should_compile/all.T @@ -305,3 +305,4 @@ test('T14111', normal, compile, ['-O']) test('T19336', normal, compile, ['-O']) test('T11715b', normal, ghci_script, ['T11715b.script']) test('T4254', normal, compile, ['']) +test('T22547', normal, compile, ['']) |