Re: [GHC] #12906: GHC fails to typecheck Main module without main

17 Nov 2018

      #12906: GHC fails to typecheck Main module without main
-------------------------------------+-------------------------------------
        Reporter:  dfeuer            |                Owner:  RolandSenn
            Type:  bug               |               Status:  patch
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  Other             |            Test Case:  make test
                                     |  TEST=T12906
      Blocked By:                    |             Blocking:
 Related Tickets:  #15899            |  Differential Rev(s):  Phab:D5338
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Krzysztof Gogolewski ):

 In [changeset:"92f81841e885f081bbb079d0dca6eb50b9043d4b/ghc"
 92f81841/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="92f81841e885f081bbb079d0dca6eb50b9043d4b"
 Fix #12906: GHC fails to typecheck Main module without main

 Summary: The function fail is no longer called immediately
 after adding the no-main error message to the TcM monad.
 The rest of the module will be typechecked.

 Test Plan: make test TEST=T12906

 Reviewers: dfeuer, RyanGlScott, ezyang, mpickering, bgamari

 Reviewed By: RyanGlScott

 Subscribers: rwbarton, carter

 GHC Trac Issues: #12906

 Differential Revision: https://phabricator.haskell.org/D5338
 }}}

-- 
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12906#comment:8
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler