Re: pmc_type

On Wed, Oct 27, 2004 at 06:24:59PM +0200, Leopold Toetsch wrote:
> Stéphane Payrard <stef@xxxxxxxxxxx> wrote:
> > On Wed, Oct 27, 2004 at 12:19:22PM +0200, Leopold Toetsch wrote:
> 
> >> Having a type enum for these abstract types would imply to install a
> >> vtable, filled with methods that catch errors.
> 
> > I never proposed the installation of vtables for these types.
> 
> Well, then a type enum for abstract types is probably not useful anyway.
> 
> > there should be an integer range reserved for these abstract types.
> > Being outside the range for regular pmc type they would not
> > need any vtable.
> 
> And then?

That would allow to implement typechecking in imcc.

  .sym Scalar a
  a = new .PerlInt  # ok.  Perlint is derived from Scalar

--
 stef

> 
> leo
>