[GHC] #12906: GHC fails to typecheck Main module without main
GHC
ghc-devs at haskell.org
Mon Dec 5 01:47:29 UTC 2016
#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
More information about the ghc-tickets
mailing list