[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