On 5/31/07, oleg@pobox.com
Polymorphic extensible records with subtyping are already expressible in Haskell. There is nothing needs to be added:
http://homepages.cwi.nl/~ralf/HList/ http://homepages.cwi.nl/~ralf/OOHaskell/
The last time I tried this code, I reported to haskell-cafe that OOHaskell does not work when compiled as a library (at least under GHC). For some reason the code that uses OOHaskell had to be compiled along side it. Is this now fixed? If so, could it be available via hackage as a library for people to use? I can't tell if it's only meant as proof of concept or for actual use. But, your response makes me think it is intended for actual use if people would like to do that (hence my interest in getting the code into hackage). Thanks, Jason