8 Jan
2001
8 Jan
'01
5:21 p.m.
Mon, 8 Jan 2001 17:53:35 +1300, Tom Pledger <Tom.Pledger@peace.com> pisze:
Having types with type variables which are never instantiated nor constrained should be equivalent to having ground types!
Do you have any examples of such a type variable in an instance decl?
Not quite. When the type variable is never instantiated, like in ST (ghc's and hbc's state threads), I don't see fundeps. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK