#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