| Is there any plan to implementing the
| TREX extension (a flexible system of
| extensible records) available in Hugs,
| in GHC?
Good question. The truthful answer is "no immediate plans".
Here's why:
1. It's a significant amount of low-brownie-point effort, and people seldom
ask for it (though I think it's a very neat type system). If there was
evidence
that lots of people did actively want it, that would certainly be
interesting.
2. It's not clear what the syntax should be (see Mark Jones' and my
paper at the Haskell workshop last year). But pending clarity on
that, using Hugs' syntax would be sensible, I guess.
3. The implementation has to be a bit different; I think we would have
to pass an (size,offset) pair instead of just an offset, as the evidence
that (r\l). To get an efficient compiled implementation.
None of these are insuperable.
Any volunteers out there?
Simon
