Re: [pure-lang-users] Containers and tuples

[Jiri S. <jir...@bl...>]

Albert Graef wrote:
> I think it's better to declare => in dict.pure, because that's where
> it's actually needed and the semantics are provided.

Well, I defined the operator in dict.pure.

> Also, I'm not sure
> whether we should define equality on "mapsto" pairs at all. You can
> always compare them using === if it's really needed.

I need it because the current definition of dict equality test 
semantically compare their member lists. However, I made this stuff 
local to the function so that nobody should be harmed.

Jiri