On May 21, 2010, at 08:13 , R J wrote:
I'm trying to declare Triangle as an instance of the Ord class without using "deriving (Ord)", so I can better understand the manual instantiation.
As I understand it, all I need merely to define "<". Yet, when I do so using the code
Incorrect; you need to define "<=", not "<". Or define "compare". Since you defined "<" but not "<=", ">" fell back to "compare", which fell back to "<=", which fell back to "compare" again... You need to define one or both of those to break the loop.