#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?
The typechecker is providing the Ids with too many unfoldings attached
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. 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