
#12906: GHC fails to typecheck Main module without main -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by dfeuer): Replying to [comment:2 RyanGlScott]:
Well, you are right in that GHC //did// use to report more information—you just have to dig back a bit further: [...] So this happened sometime between GHC 7.4 and 7.6.
Thanks for the dig! I clearly remembered this all wrong. But my main point is really that whatever the history, it is far more ''useful'' to run the type checker on the module whether or not `main` is found. Requiring a `module` line or a `main` binding just to run the type checker is annoying, and has no apparent benefit. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12906#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler