ANNOUNCE: GHC 6.8.3 Release Candidate
Ian Lynagh
igloo at earth.li
Sun Jun 1 10:34:00 EDT 2008
On Sun, Jun 01, 2008 at 05:39:49PM +0400, Serge D. Mechveliani wrote:
>
> This is why res and 1*res are not equivalent in Haskell-98 for
> res :: Num a => a.
>
> Am I missing something?
The library functions assume that class instances obey some unwritten
laws; it's all a bit vague, but if your instances don't obey them then
you might find that things go wrong when using library functions. For
example, if your (*) isn't associative then (^) is going to give odd
results, and if the type of the second argument to (^) doesn't do
arithmetic in the normal way then very strange things could happen.
Anyway, I've just tweaked the (^) definition again, so your code should
work in 6.8.3.
Thanks
Ian
More information about the Glasgow-haskell-users
mailing list