On 07/13/2012 03:12 AM, Bardur Arantsson wrote:
> Speaking of which... would it be remiss of me to mention the elephant in
> the room, namely the Eq instance for Float?
>
> AFAICT there is no possible way for a Float value to fulfill the Eq type
> class requirements, so why is it an instance? (I'm
of Eq, than a real loss
> of referential transparency.
>
> Regards,
> Malcolm
>
>
> On Jul 10, 2012, at 11:49 AM, Christopher Done wrote:
>
>> Depends what the real offending code is. For example, if it contains
>> unsafePerformIO then it's not a bug.
&g
Hi!
I've discovered a strange bug that violates simple equational reasoning.
Basically, something similar to this:
let a = f x
in a == f x
evaluates to False.
I'd like to report this on ghc-trac, but I realised, that I don't know a
good name for behaviour like this. Is there one? "Broken refere
On Wednesday 10 March 2010 04:08:19 pm Thomas Schilling wrote:
> PAP stands for partial application, i.e., a function with one or more
> missing arguments. MUT_ARR_PTRS_FROZEN are mutable objects which are
> not moved by the garbage collector. They are an implementation detail
> of IORefs and mut
