On 17-Nov-1999, Koen Claessen <[EMAIL PROTECTED]> wrote:
> I think it would be easy to extend most type check/inference
> algorithms with this new feature. (Any comments on this?)
I agree. For the Mercury type checker I'd estimate that it would probably
take a good programmer who was familiar with the code about an hour or two
to implement this extension. A bit longer if you take into account the
time to document it and add some test cases.
Regarding your proposed syntax, why `(..)' rather than just `..'?
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED] | -- the last words of T. S. Garp.
