Re: [Haskell-cafe] records proposals list

Keean Schupke writes:

Haskell already has static records (in H98)

Dynamic records are addressed by the HList library, which uses extensions already present in GHC and Hugs (namely Multi-parameter type-classes and function-dependancies).

Is this the case? Every implementation of HList that I've seen also uses overlapping and undecidable instances. -- David Menendez | "In this house, we obey the laws http://www.eyrie.org/~zednenem | of thermodynamics!"