#11176: Typechecked AST for recursive top-level call refers to non-exported HsVar. -------------------------------------+------------------------------------- Reporter: literon | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: wontfix | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by literon): * status: new => closed * resolution: => wontfix Comment: Makes a lot of sense, thank you! Some comments: * WiredIn results from a ghc-dump-tree printing bug, thanks for noting! * The note is very helpful - unfortunately I often only browse the haddock, so some source-only comments escape me. I often have the feeling that many source comments would be useful haddock comments too. * If you didn't explicitly mention it, I would have missed the requirement for not having a type signature, based on the note only. Maybe "Consider a module M, with this top-level binding [without an explicit type signature]", if that is correct? Resolving ticket, thank you again for the explanation. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11176#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler