diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-02-22 21:59:59 -0800 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-02-23 15:16:02 -0800 |
| commit | 8f8016a5cb006fe14e1058c01a215b90e8435cc8 (patch) | |
| tree | c188df8556fac0d451e8b0d54bf6b78d45f10fc3 /testsuite/tests/backpack | |
| parent | 39d926cd353f203c6dfa2c106179946fa2615d45 (diff) | |
| download | haskell-8f8016a5cb006fe14e1058c01a215b90e8435cc8.tar.gz | |
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
Diffstat (limited to 'testsuite/tests/backpack')
| -rw-r--r-- | testsuite/tests/backpack/should_compile/T13323.bkp | 17 | ||||
| -rw-r--r-- | testsuite/tests/backpack/should_compile/T13323.stderr | 13 | ||||
| -rw-r--r-- | testsuite/tests/backpack/should_compile/all.T | 1 |
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, ['']) |