Include OverloadedRecordFields selectors in NameShape.

Summary:
Fixes #13323.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

Test Plan: validate

Reviewers: bgamari, austin

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D3175

3 files changed, 31 insertions, 0 deletions

diff --git a/testsuite/tests/backpack/should_compile/T13323.bkp b/testsuite/tests/backpack/should_compile/T13323.bkp
new file mode 100644
index 0000000000..70a1ccf89c
--- /dev/null
+++ b/testsuite/tests/backpack/should_compile/T13323.bkp
@@ -0,0 +1,17 @@
+{-# LANGUAGE DuplicateRecordFields #-}
+unit p where
+    signature A where
+        data A = A { foo :: Int }
+        data B = B { foo :: Bool }
+    module P where
+        import A
+        x :: A -> Int
+        x = foo
+unit q where
+    module A where
+        data A = A { foo :: Int }
+        data B = B { foo :: Bool }
+unit r where
+    dependency p[A=q:A]
+    module R where
+        import P
diff --git a/testsuite/tests/backpack/should_compile/T13323.stderr b/testsuite/tests/backpack/should_compile/T13323.stderr
new file mode 100644
index 0000000000..3d6a510ea1
--- /dev/null
+++ b/testsuite/tests/backpack/should_compile/T13323.stderr
@@ -0,0 +1,13 @@
+[1 of 3] Processing p
+  [1 of 2] Compiling A[sig]           ( p/A.hsig, nothing )
+  [2 of 2] Compiling P                ( p/P.hs, nothing )
+[2 of 3] Processing q
+  Instantiating q
+  [1 of 1] Compiling A                ( q/A.hs, T13323.out/q/A.o )
+[3 of 3] Processing r
+  Instantiating r
+  [1 of 1] Including p[A=q:A]
+    Instantiating p[A=q:A]
+    [1 of 2] Compiling A[sig]           ( p/A.hsig, T13323.out/p/p-HVmFlcYSefiK5n1aDP1v7x/A.o )
+    [2 of 2] Compiling P                ( p/P.hs, T13323.out/p/p-HVmFlcYSefiK5n1aDP1v7x/P.o )
+  [1 of 1] Compiling R                ( r/R.hs, T13323.out/r/R.o )
diff --git a/testsuite/tests/backpack/should_compile/all.T b/testsuite/tests/backpack/should_compile/all.T
index 683d913de1..8f4ec3b982 100644
--- a/testsuite/tests/backpack/should_compile/all.T
+++ b/testsuite/tests/backpack/should_compile/all.T
@@ -47,3 +47,4 @@ test('bkp52', normal, backpack_compile, [''])
 
 test('T13149', expect_broken(13149), backpack_compile, [''])
 test('T13214', normal, backpack_compile, [''])
+test('T13323', normal, backpack_compile, [''])