[Haskell-cafe] Re: Has anyone looked into adding subtyping to Haskell?

[Jason Dagit]

On 5/31/07, oleg at pobox.com <oleg at pobox.com> wrote:
>
> 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