[Haskell] extensible records using associated types

Barney Hilken b.hilken at ntlworld.com
Mon Jun 19 20:42:15 EDT 2006

Of course, under Usage, I should have written:

The record {N1 = x1, ... Nn = xn} should be constructed as (extend N1  
x1 $ ... $ extend Nn xn $ Empty).

Sorry about any confusion!


More information about the Haskell mailing list