18 Oct
2007
18 Oct
'07
3:04 p.m.
On 10/18/07, Simon Peyton-Jones
I don't believe GHC relies on any class laws. It'd be pretty dangerous to do so, I think.
Incidentally, I consider it a slight infelicity that the H98 spec doesn't seem to mention the implied laws of classes like Eq and Ord, not even to disclaim responsibility for them. Even if the standard doesn't require that the laws hold, I suggest that it should at least state this explicitly, and perhaps recommend that they be obeyed. Is this something that might change in Haskell-Prime? Stuart