[GHC] #10708: Rejection of constant functions defined using conditional pattern matching

[GHC]

#10708: Rejection of constant functions defined using conditional pattern matching
-------------------------------------+-------------------------------------
        Reporter:  HubertGaravel     |                   Owner:
            Type:  bug               |                  Status:  closed
        Priority:  normal            |               Milestone:
       Component:  Compiler          |                 Version:  7.10.1
      Resolution:  invalid           |                Keywords:
Operating System:  Linux             |            Architecture:  x86
 Type of failure:  GHC rejects       |               Test Case:
  valid program                      |
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by HubertGaravel):

 Thanks for your prompt answers.

 Yet, assuming that the definition of d3 is invalid because a funlhs must
 have
 at least one argument, why is the definition of d2 accepted in the example
 given?

 Like d3, d2 is defined by a conditional rule and is not followed by an
 argument.

 I assume that GHC processes lines fromp top to bottom and that if it
 complains
 about the definition of d3, it means that it finds the definition of d1
 and d2 valid.

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