[m-dev.] il grade

[Tyson Dowd]

On 24-Apr-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> With Tyson's recent fix, plus the not-yet-committed patch for reading .opt
> files transitively that I posted a while back, we can use grade `il' (as
> opposed to `ilc') to build `.il' files for all of the standard library.
> 
> I haven't actually tried assembling them yet, or running any programs in
> `il' grade.  I suspect there may be quite a few problems remaining.  From
> a few glances at the generated .il files, it looks like it is still using
> `Object[]' (i.e. MR_Word) in a lot of places where it shouldn't be.

I'm one step ahead of you -- see my diff in m-rev.

There are still problems in that:

:- type foo.
:- type foo(T).

map to the same class name.

Similarly with 

:- type bar --> baz(int) ; baz(int, int).

baz/1 and baz/2 map to the same class name.

I'm going to work on fixing that today.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------