[Haskell] Implicit return values

[Vincenzo aka Nick Name]

Alle 00:57, lunedì 26 gennaio 2004, Ben Rudiak-Gould ha scritto:
> Here's a possible syntax. An expression like (123, ^x = "foo") would
> have the type (Integer, ^x :: String), which is like a tuple but with
> all but one of the elements having a name. An expression like
>
>   (123, ^x="foo") - (45, ^x="bar", ^y="baz")
>
> would be converted by the compiler to
>
>   (123 - 45, ^x=("foo" `mappend` "bar"), ^y="baz")

It's unclear to me how would the compiler know that it's not

(123 - 45, ^x=("bar" `mappend` "foo"), ^y="baz")

This depends on order of evaluation or am I wrong? 

V.

-- 
A: Top posting!
Q: What is the most irritating thing on Usenet?