Commit 8f8016a5 authored by Edward Z. Yang's avatar Edward Z. Yang

Include OverloadedRecordFields selectors in NameShape.

Summary:
Fixes #13323.
Signed-off-by: default avatarEdward Z. Yang <ezyang@cs.stanford.edu>

Test Plan: validate

Reviewers: bgamari, austin

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D3175
parent 39d926cd
......@@ -83,7 +83,7 @@ mkNameShape :: ModuleName -> [AvailInfo] -> NameShape
mkNameShape mod_name as =
NameShape mod_name as $ mkOccEnv $ do
a <- as
n <- availName a : availNames a
n <- availName a : availNamesWithSelectors a
return (occName n, n)
-- | Given an existing 'NameShape', merge it with a list of 'AvailInfo's
......
{-# 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
[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 )
......@@ -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, [''])
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment