Infix operator for exponentiation should be right-associative

[ThomasWeiser]

I don't think that anyone will ever use an expression like 3^3^3,
but it's nicer to follow the general convention.
Otherwise it would look like an oversight.

[evancz]

I saw you mentioned that this is the standard in other languages. Do you mind sharing a few links as evidence just for the record? Otherwise this looks great to me, thank you for finding this and sending a PR!

[evancz]

I saw you mentioned that this is the standard in other languages. Do you mind sharing a few links as evidence just for the record? Otherwise this looks great to me, thank you for finding this and sending a PR!

[ThomasWeiser]

Haskell:

• Precedences and fixities of prelude operators (scroll up a bit)
• Prelude: (**), logBase :: a -> a -> a infixr 8

F# operator **

Python operator **

R: The exponentiation operator ^ [...] group right to left

And a proposal for Javascript/ES7

[ThomasWeiser]

Haskell:

• Precedences and fixities of prelude operators (scroll up a bit)
• Prelude: (**), logBase :: a -> a -> a infixr 8

F# operator **

Python operator **

R: The exponentiation operator ^ [...] group right to left

And a proposal for Javascript/ES7

[evancz]

Great, thank you!

[evancz]

Great, thank you!

[mgold]

I doubt anyone is relying on this, but isn't it a backwards-incompatible change?

[mgold]

I doubt anyone is relying on this, but isn't it a backwards-incompatible change?

[evancz]

Yes, it is. I have an item on my todo list of "fixity changes are breaking changes in elm-package" but it is not implemented right now. Not sure what I'm going to do. It may be that the explicit exports that @jvoigtlaender added recently will "remove" some functions causing a major version change anyway.

[evancz]

Yes, it is. I have an item on my todo list of "fixity changes are breaking changes in elm-package" but it is not implemented right now. Not sure what I'm going to do. It may be that the explicit exports that @jvoigtlaender added recently will "remove" some functions causing a major version change anyway.