#13305: static: check for identifiers should only consider term level variables -------------------------------------+------------------------------------- Reporter: edsko | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: worksforme | Keywords: | StaticPointers 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 mboes): Wait - what ''is'' the semantics implemented in HEAD? Is it the one we want? Why does it make a difference whether `g` is inlined or not? What do you mean by your last sentence:
I couldn't be sure, but I'm more inclined to think that the current (hopefully correct) implementation is more of an accident than a designed behavior.
Do each one of the examples I write at the top of [comment:7 this comment] pass/don't pass as expected in GHC HEAD? If so, which commit changed that in HEAD and where these changes intentional? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13305#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler