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

[Michael v. A. <mic...@gm...>]

On 7/3/05, Peter Fr=F6hlich <ph...@cs...> wrote:
> Hi all,
>=20
> On Jul 3, 2005, at 07:50, Michael van Acken wrote:
>=20
> > 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.
>=20
> 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?

Yes, it is an implementation issue, and no, it has nothing to do with
Szyperski/Roe.

OOC's implementation is for the most part derived from Generic Java,
but carries type information into the run-time environment as well.
Neither GJ nor S/R have a run-time component, if I remember correctly.

-- mva