[Haskell-cafe] strange stack overflow with Data.Map

[Tomasz Zielonka]

On Tue, Jan 03, 2006 at 12:03:06AM +0000, Adrian Hey wrote:
> On Monday 02 Jan 2006 7:42 pm, Tomasz Zielonka wrote:
 >
> > I hope you don't propose this for Map. It would break some nice uses,
> > like representing variable scopes in an interpreter. The "replacing"
> > insert allows you to easily implement hiding variables in outer
> > scopes.
> 
> You mean am I proposing that Maps should retain old association
> values and discard the new ones? If so the answer is no, of course
> not.

Good. I was pretty sure that you are not proposing it, but I wanted to
be sure.

> But I see no reason why they shouldn't do this with keys,
> which are "equal" according to the instance of Ord. (If this
> is any way dangerous then the key type should not be an instance
> of Ord IMO.)

No objections here.

Best regards
Tomasz

-- 
I am searching for a programmer who is good at least in some of
[Haskell, ML, C++, Linux, FreeBSD, math] for work in Warsaw, Poland