Changes between Initial Version and Version 1 of Ticket #9182
- Jun 7, 2014 6:19:22 PM (14 months ago)
initial v1 14 14 I think this program should be accepted. It isn't that I'm not giving a definition for `empty`; it's that I'm defining it to be a function with no accompanying equations, as could be represented in Template Haskell by 15 15 16 $(return [FunD (mkName "empty") ]) 16 17 17 18 18 Currently, this too is rejected, with GHC complaining `Function binding for ‘empty’ has no equations`. I think this should be legal, with an empty list of clauses in a function definition being treated the same way as an empty list of matches in a case expression.