summaryrefslogtreecommitdiff
path: root/testsuite/tests/rename
diff options
context:
space:
mode:
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.hs12
-rw-r--r--testsuite/tests/rename/should_compile/all.T2
-rw-r--r--testsuite/tests/rename/should_fail/T15214.stderr2
-rw-r--r--testsuite/tests/rename/should_fail/all.T1
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, [''])