hugs accepts derivings for classes when it can't provide the definition
17 Dec
2001
17 Dec
'01
12:09 a.m.
hugs accepts data D a = D a deriving (Show) despite not being able to derive the instance. This goes against There is a context cx' such that cx' =>C tij holds for each of the constituent types tij." in appendix D of the report. Ian
17 Dec
17 Dec
12:20 a.m.
On Mon, Dec 17, 2001 at 12:09:54AM +0000, Ian Lynagh wrote:
hugs accepts
data D a = D a deriving (Show)
despite not being able to derive the instance. This goes against
There is a context cx' such that cx' =>C tij holds for each of the constituent types tij."
in appendix D of the report.
Ooops, looks like I was too hasty. On rereading it isn't required that cx' be in cx. I can't say I like it, but this looks valid. Sorry Ian
9059
Age (days ago)
9059
Last active (days ago)
1 comments
1 participants
participants (1)
-
Ian Lynagh