[m-rev.] diff: proposed design for typeclass RTTI

[Zoltan Somogyi]

On 29-Jul-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> On 26-Jul-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> > I asked for a review of an earlier version this on april 28, but got no
> > replies. I am committing this stuff both to expose it to other eyes again
> > and to get it covered by my backup system.
> > 
> > Zoltan.
> > 
> > runtime/mercury_typeclass_info.h:
> > 	A new file documenting a design of RTTI data structures for typeclass
> > 	information. At the moment, this is only a statement of future intended
> > 	direction; the file is not referred to from anywhere in the existing
> > 	code.
> > 
> > runtime/mercury_typeclass_info_example.c:
> > 	An example showing the kinds of data structures the compiler should
> > 	generate when we move to the new design.
> 
> These files (especially the example) should probably go in
> compiler/notes/, not runtime/.

That would make it much harder to check their compilability, and thus their
type correctness.

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------