type equality symbol

[Simon Peyton-Jones]

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

S

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-users-bounces at haskell.org] On Behalf Of
| Isaac Dupree
| Sent: 04 December 2007 15:59
| To: Jan-Willem Maessen
| Cc: Glasgow-haskell-users at haskell.org; Simon Peyton-Jones
| Subject: type equality symbol
|
| >>        conv :: (a~b) => a -> b
| >>        conv = id
|
| is there any particular reason that '~' is the symbol for type equality
| constraints?  I would think '=' would be the obvious choice, (although
| perhaps it is already over-used, and is normally asymmetric in Haskell!)?
|
| Isaac
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users