"Neil Mitchell" <[EMAIL PROTECTED]> wrote:
> Hi,
>
> It's nice to write functions in point free style:
>
> f = sort . nub
>
> But sometimes I have to add an extra case, on a certain value:
>
> f [] = [1]
> f = sort . nub
>
> But now these equations have different arities, and its rejected by
> Haskell. Why does this not simply desugar to:
>
> f [] = [1]
> f x = (sort . nub) x
>
> i.e. lift the arities to the longest argument list.
>
> Is there a reason this isn't done?
>
Answer #2:
Because you can't write
f x = case x of
[] -> [1]
-> sort.nub
--
(c) this sig last receiving data processing entity. Inspect headers for
past copyright information. All rights reserved. Unauthorised copying,
hiring, renting, public performance and/or broadcasting of this
signature prohibited.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
