[GHC] #14092: hs-boot unfolding visibility not consistent between --make and -c

[GHC]

#14092: hs-boot unfolding visibility not consistent between --make and -c
-------------------------------------+-------------------------------------
        Reporter:  ezyang            |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:  hs-boot
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 > One implementation strategy that doesn't involve mucking about with HPT
 retypechecking is to somehow make the typechecker aware of what unfoldings
 it should "see" and which it should not.

 This is reminiscent of #9370 (see comment 20 and following).  I don't know
 how tight the linkage is.

 BTW did your really mean "make the typechecker aware"?  It's the
 simplifier that is doing more inlining than it should, isn't it? (Not the
 typechecker.)

 And how much does all this matter anyway?

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14092#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler