10 Apr
2013
10 Apr
'13
3:32 p.m.
On 10 April 2013 23:26, Tom Ellis
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