10 Jun
2010
10 Jun
'10
9:15 p.m.
Henning Thielemann wrote:
On Thu, 10 Jun 2010, Julian Blake Kongslie wrote:
instance (Data a) => NFData a where rnf a = dataDeepSeq a `seq` ()
Is this an instance at all? It is not of the form NFData Type or NFData (TypeCon a) or so.
Writing literally that instance would require the FlexibleInstances and UndecidableInstances extensions, I think, so you're right in that it's not a Haskell98 instance. The point of my email was more that I'm not sure it makes sense to have a "NFData" class, where "Data" would appear to suffice and be easier for programmers to work with. I'm sending this reply to list; not sure what the standard for CCs is on this list. -Julian Blake Kongslie Please CC me on replies.