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

[Albert G. <Dr....@t-...>]

Jiri Spitz wrote:
> 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.

Ok, I see. I moved => over to the prelude now, and defined equality on
it, too, so you can remove those special equality rules in dict.pure.

Albert

-- 
Dr. Albert Gr"af
Dept. of Music-Informatics, University of Mainz, Germany
Email:  Dr....@t-..., ag...@mu...
WWW:    http://www.musikinformatik.uni-mainz.de/ag