[GHC] #10600: -fwarn-incomplete-patterns doesn't work with -fno-code

GHC ghc-devs at haskell.org
Mon May 8 23:31:51 UTC 2017


#10600: -fwarn-incomplete-patterns doesn't work with -fno-code
-------------------------------------+-------------------------------------
        Reporter:  akio              |                Owner:  ezyang
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.4.1
       Component:  Compiler          |              Version:  7.10.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Incorrect         |  Unknown/Multiple
  warning at compile-time            |            Test Case:  driver/T8101b
      Blocked By:                    |             Blocking:
 Related Tickets:  #8101             |  Differential Rev(s):  Phab:D1278
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by mpickering):

 Thanks Doug, that's a useful summary.

 My main concern is a code hygiene. It is a fundamental design principle
 that we typecheck the code before desugaring so that error messages are
 better. By checking these things in the desugarer we might be trading good
 error messages for an easier implementation which I think is in general
 undesirable.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10600#comment:25>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list