Re: [Haskell-cafe] Records (was Re: [Haskell] Improvements to GHC)

Chris Kuklewicz writes:

Would the record system describe at http://lambda-the-ultimate.org/node/view/1119 also be convertable "into System Fw, GHC's existing, strongly-typeed intermediate language." ?

Probably. Daan's current implementation uses MLF, which I believe is system F implemented for ML. (We're talking about the system in Daan Leijen's paper, "Extensible Records With Scoped Labels". Good stuff.) -- David Menendez | "In this house, we obey the laws http://www.eyrie.org/~zednenem | of thermodynamics!"