Re: [ooc-compiler] WITH statement and parametric types

[<ph...@cs...>]

Hi all,

On Jul 3, 2005, at 07:50, Michael van Acken wrote:

> The current implementation cannot cope with types on the right hand
> side of a type test that include a type variable.  It is fundamentally
> flawed.  Unfortunately I botched a test case half a year ago, or I 
> would
> have known this earlier.

Is this purely an implementation issue or is there a problem with the 
Szyperski/Roe proposal itself (which I gather is what you implemented 
for OOC)? I never tried implementing it myself, but it *looked* solid 
at the time. Any comments?

Peter
--
Peter H. Froehlich <><><><><><> http://www.cs.ucr.edu/~phf/
OpenPGP: ABC2 9BCC 1445 86E9 4D59  F532 A8B2 BFAE 342B E9D9