Christian Maeder maeder at tzi.de
Mon May 17 17:37:50 EDT 2004

Daan Leijen wrote:
> Ah, I read it too fast -- I assume that you also removed the strictness on
> the branches (instead of just the key), i.e. you changed:
>   !k a !(Map k a) !(Map k a)"
> to
>   k a (Map k a) (Map k a)
> Right?

Yes, right.

More information about the Libraries mailing list