#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