type equality symbol

Philippa Cowderoy flippa at flippac.org
Wed Dec 5 10:56:53 EST 2007

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!

More information about the Glasgow-haskell-users mailing list