[Haskell-cafe] in-equality type constraint?
Christopher Lane Hinson
lane at downstairspeople.org
Fri Jul 16 22:29:45 EDT 2010
On Fri, 16 Jul 2010, Paul L wrote:
> Does anybody know why the type families only supports equality test
> like a ~ b, but not its negation?
I would suggest that type equality is actually used for type inference,
whereas proof of type inequality would have no consequence (that I can think of)
for the compiler.
More information about the Haskell-Cafe