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 <[EMAIL PROTECTED]> | "In this house, we obey the laws <http://www.eyrie.org/~zednenem> | of thermodynamics!" _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
