summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2021-02-21 10:54:33 -0500
committerBen Gamari <ben@smart-cactus.org>2021-02-21 10:54:33 -0500
commit7aca80b47fca7a7b2eaf2596f0c51bdf29248b2c (patch)
tree5281842f21fe75e7f928ad5f452e1796f87f3210
parent4196969c53c55191e644d9eb258c14c2bc8467da (diff)
downloadhaskell-7aca80b47fca7a7b2eaf2596f0c51bdf29248b2c.tar.gz
testsuite: Add broken test for #19352wip/T19352
-rw-r--r--testsuite/tests/rename/should_compile/T19352.hs10
-rw-r--r--testsuite/tests/rename/should_compile/T19352a.hs7
-rw-r--r--testsuite/tests/rename/should_compile/T19352a.hs-boot4
-rw-r--r--testsuite/tests/rename/should_compile/T19352b.hs4
-rw-r--r--testsuite/tests/rename/should_compile/all.T1
5 files changed, 26 insertions, 0 deletions
diff --git a/testsuite/tests/rename/should_compile/T19352.hs b/testsuite/tests/rename/should_compile/T19352.hs
new file mode 100644
index 0000000000..6cf48aef38
--- /dev/null
+++ b/testsuite/tests/rename/should_compile/T19352.hs
@@ -0,0 +1,10 @@
+-- | The occurrence of 'notVisible' should not be reported as ambiguous
+-- as it is not visible from the @hs-boot@ file.
+module T19532 (hello, visible) where
+
+import {-# SOURCE #-} T19352a
+import T19352b
+
+hello :: String
+hello = notVisible
+
diff --git a/testsuite/tests/rename/should_compile/T19352a.hs b/testsuite/tests/rename/should_compile/T19352a.hs
new file mode 100644
index 0000000000..4f5478ae3d
--- /dev/null
+++ b/testsuite/tests/rename/should_compile/T19352a.hs
@@ -0,0 +1,7 @@
+module T19352a (visible, notVisible) where
+
+notVisible :: Int
+notVisible = 43
+
+visible :: String
+visible = "world"
diff --git a/testsuite/tests/rename/should_compile/T19352a.hs-boot b/testsuite/tests/rename/should_compile/T19352a.hs-boot
new file mode 100644
index 0000000000..940f223db2
--- /dev/null
+++ b/testsuite/tests/rename/should_compile/T19352a.hs-boot
@@ -0,0 +1,4 @@
+module T19352a (notVisible, visible) where
+
+notVisible :: Int
+visible :: String
diff --git a/testsuite/tests/rename/should_compile/T19352b.hs b/testsuite/tests/rename/should_compile/T19352b.hs
new file mode 100644
index 0000000000..fdb7c456bf
--- /dev/null
+++ b/testsuite/tests/rename/should_compile/T19352b.hs
@@ -0,0 +1,4 @@
+module T19352b (notVisible) where
+
+notVisible :: String
+notVisible = "hello"
diff --git a/testsuite/tests/rename/should_compile/all.T b/testsuite/tests/rename/should_compile/all.T
index 71d631e499..507f2c2a99 100644
--- a/testsuite/tests/rename/should_compile/all.T
+++ b/testsuite/tests/rename/should_compile/all.T
@@ -178,3 +178,4 @@ test('T18497', [], makefile_test, ['T18497'])
test('T18264', [], makefile_test, ['T18264'])
test('T18302', expect_broken(18302), compile, [''])
test('T17853', [], multimod_compile, ['T17853', '-v0'])
+test('T19352', expect_broken(T19352), compile, [''])