type equality symbol

[Philippa Cowderoy]

On Wed, 5 Dec 2007, Simon Peyton-Jones wrote:

> Nothing deep.  Just that "=" means so many things that it seemed better 
> to use a different notation.
> 

How about ==? Only one meaning so far, and that both on the term level and 
equivalent to the constraint.

-- 
flippa at flippac.org

Ivanova is always right.
I will listen to Ivanova.
I will not ignore Ivanova's recomendations.
Ivanova is God.
And, if this ever happens again, Ivanova will personally rip your lungs out!