Lookup string literals in top-level thunks (fix #16373)

3 files changed, 27 insertions, 0 deletions

diff --git a/testsuite/tests/simplCore/should_compile/T16373.hs b/testsuite/tests/simplCore/should_compile/T16373.hs
new file mode 100644
index 0000000000..e8346ca30a
--- /dev/null
+++ b/testsuite/tests/simplCore/should_compile/T16373.hs
@@ -0,0 +1,13 @@
+{-# LANGUAGE DataKinds #-}
+{-# OPTIONS_GHC -ddump-simpl -dsuppress-all -dno-typeable-binds -O2 #-}
+
+module Test2 where
+
+import GHC.TypeLits
+import Data.Proxy
+
+testAA :: Bool
+testAA = symbolVal (Proxy :: Proxy "A") == symbolVal (Proxy :: Proxy "A")
+
+testAB :: Bool
+testAB = symbolVal (Proxy :: Proxy "A") == symbolVal (Proxy :: Proxy "B")
diff --git a/testsuite/tests/simplCore/should_compile/T16373.stderr b/testsuite/tests/simplCore/should_compile/T16373.stderr
new file mode 100644
index 0000000000..0fe8484609
--- /dev/null
+++ b/testsuite/tests/simplCore/should_compile/T16373.stderr
@@ -0,0 +1,13 @@
+
+==================== Tidy Core ====================
+Result size of Tidy Core
+  = {terms: 4, types: 2, coercions: 0, joins: 0/0}
+
+-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
+testAB = False
+
+-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
+testAA = True
+
+
+
diff --git a/testsuite/tests/simplCore/should_compile/all.T b/testsuite/tests/simplCore/should_compile/all.T
index dbec3b3066..25296eda0f 100644
--- a/testsuite/tests/simplCore/should_compile/all.T
+++ b/testsuite/tests/simplCore/should_compile/all.T
@@ -370,3 +370,4 @@ test('T19890',  [ grep_errmsg(r'= T19890.foo1') ], compile, ['-O -ddump-simpl'])
 test('T20125',  [ grep_errmsg(r'= T20125.MkT') ], compile, ['-O -ddump-simpl -dsuppress-uniques'])
 test('T20143',  [ grep_errmsg(r'unsafeEqualityProof') ], compile, ['-O -ddump-simpl -dsuppress-uniques'])
 test('T20174', normal, compile, [''])
+test('T16373', normal, compile, [''])