On 10 April 2013 23:26, Tom Ellis <tom-lists-haskell-cafe-2013@jaguarpaw.co.uk> wrote:
On Wed, Apr 10, 2013 at 11:20:15PM +0400, Aleksey Khudyakov wrote:
This IS rather annoying problem for numeric code. Raising value to positive power is quite common operation yet ^ operator generally couldn't be used because it leads to warning about type defaulting (rightfully) and one wants to keep code warning free. Actually it's problem with warnings and I don't think adding some ad-hoc rules for generating warning is necessarily bad idea
Like I demonstrated in my reply to Barak, there is a way around this which does not require adding ad-hoc complexity to the compiler.
Last time I checked (~2 years ago) GHC generated not very efficient code for ^. But otherwise it's useable solution