[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:  low               |            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 ezyang):

 > I find this very convincing. Do you think this is a controversial view?

 Not controversial per se, but most people who use hs-boot files only do so
 because they must use it to break an import loop.  So it's not really a
 common way to use hs-boot files.

 > The typechecker is providing the Ids with too many unfoldings attached
 though, right?

 Technically, unfolding attachment happens during interface loading (called
 "typechecking the interface", but no real "typechecking" really takes
 place.)

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