diff options
Diffstat (limited to 'testsuite/tests/rename')
-rw-r--r-- | testsuite/tests/rename/should_compile/T15214.hs (renamed from testsuite/tests/rename/should_fail/T15214.hs) | 0 | ||||
-rw-r--r-- | testsuite/tests/rename/should_compile/T18862.hs | 12 | ||||
-rw-r--r-- | testsuite/tests/rename/should_compile/all.T | 2 | ||||
-rw-r--r-- | testsuite/tests/rename/should_fail/T15214.stderr | 2 | ||||
-rw-r--r-- | testsuite/tests/rename/should_fail/all.T | 1 |
5 files changed, 14 insertions, 3 deletions
diff --git a/testsuite/tests/rename/should_fail/T15214.hs b/testsuite/tests/rename/should_compile/T15214.hs index 55f15593be..55f15593be 100644 --- a/testsuite/tests/rename/should_fail/T15214.hs +++ b/testsuite/tests/rename/should_compile/T15214.hs diff --git a/testsuite/tests/rename/should_compile/T18862.hs b/testsuite/tests/rename/should_compile/T18862.hs new file mode 100644 index 0000000000..7356a27ad8 --- /dev/null +++ b/testsuite/tests/rename/should_compile/T18862.hs @@ -0,0 +1,12 @@ +{-# LANGUAGE PolyKinds, DataKinds, TypeOperators, TypeFamilies #-} + +module T18862 where + +import Prelude (Bool) +import Data.Kind (Constraint) +import qualified Data.Type.Equality as E + +type family (a :: k) ~ (b :: k) :: result_kind + +type instance a ~ b = (a E.~ b :: Constraint) +type instance a ~ b = (a E.== b :: Bool) diff --git a/testsuite/tests/rename/should_compile/all.T b/testsuite/tests/rename/should_compile/all.T index 536c5b9013..3a6fdceac3 100644 --- a/testsuite/tests/rename/should_compile/all.T +++ b/testsuite/tests/rename/should_compile/all.T @@ -161,6 +161,7 @@ test('T14881', [], multimod_compile, ['T14881', '-W']) test('T14487', [], multimod_compile, ['T14487', '-v0']) test('T14747', [], multimod_compile, ['T14747', '-v0']) test('T15149', [], multimod_compile, ['T15149', '-v0']) +test('T15214', normal, compile, ['']) test('T13064', normal, compile, ['']) test('T15994', [], makefile_test, ['T15994']) test('T15798a', normal, compile, ['']) @@ -184,3 +185,4 @@ test('T20609a', normal, compile, ['']) test('T20609b', normal, compile, ['']) test('T20609c', normal, compile, ['']) test('T20609d', normal, compile, ['']) +test('T18862', normal, compile, ['']) diff --git a/testsuite/tests/rename/should_fail/T15214.stderr b/testsuite/tests/rename/should_fail/T15214.stderr deleted file mode 100644 index 399438adb5..0000000000 --- a/testsuite/tests/rename/should_fail/T15214.stderr +++ /dev/null @@ -1,2 +0,0 @@ - -T15214.hs:4:1: error: Illegal binding of built-in syntax: ~ diff --git a/testsuite/tests/rename/should_fail/all.T b/testsuite/tests/rename/should_fail/all.T index 4ce00de399..5e62e28847 100644 --- a/testsuite/tests/rename/should_fail/all.T +++ b/testsuite/tests/rename/should_fail/all.T @@ -137,7 +137,6 @@ test('T14307', normal, compile_fail, ['']) test('T14591', normal, compile_fail, ['']) test('T14907a', normal, compile_fail, ['']) test('T14907b', normal, compile_fail, ['']) -test('T15214', normal, compile_fail, ['']) test('T15539', normal, compile_fail, ['']) test('T15487', normal, multimod_compile_fail, ['T15487','-v0']) test('T15659', normal, compile_fail, ['']) |