What does the ~ type operator mean? I've sometimes seen types such as (a ~ b) in error messages, but can't understand
what GHC is trying to tell me.
Thanks for any enlightenment!
___
Haskell mailing list
Haskell@haskell.org
On Friday 24 June 2011, 10:26:42, Guy wrote:
What does the ~ type operator mean? I've sometimes seen types such as (a
~ b) in error messages, but can't understand what GHC is trying to tell
me.
Type equality, (a ~ b) means that a and b are the same type (rather, that
the compiler can prove