10 Jul
2008
10 Jul
'08
2:45 p.m.
Or, if people have easy-enough extensible records that /will/ work with funky types, I'd be happy to use those! -Ron On Thu, Jul 10, 2008 at 10:29 AM, Ron Alford <ronwalf@volus.net> wrote:
On Wed, Jul 9, 2008 at 11:01 PM, Antoine Latter <aslatter@gmail.com> wrote:
It isn't immediately obvious to me that the "Typeable" family of classes deal at all with higher-kinded type constructors, but I didn't look that hard.
Yes, that's what I'm worried about. For people's fun and amusement, I've attached the file. The trailing comments show what I'm trying to accomplish (getName, setName, and so forth).
-Ron