[m-rev.] diff: implement io__stream as foreign type

[Peter Ross]

zs wrote:
> On 16-May-2002, Peter Ross <pro at missioncriticalit.com> wrote:
> > If we could also provide a
> > method to specify the RTTI for the type then we could move all the
builtin
> > types out of the compiler and into the libraries.
>
> What do you mean by this? The RTTI for builtin types is not *in* the
compiler;
> it is split between the library and the runtime. I am working on
concentrating
> it in the runtime.
>
The RTTI is not in the compiler, but the compiler has to know about these
types with hand defined RTTI on the .NET backend so that it can generate
references to them.  What I was proposing was some mechanism to inform the
compiler via a declaration the location of the RTTI and so avoid having to
add another special case into the compiler.  The RTTI would still be defined
in the library and runtime, but the compiler could determine all the
information about it from the declaration rather than hardcoding it in.

Pete

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------