[m-dev.] for review: The .NET MSIL backend.

[Tyson Dowd]

On 04-Oct-2000, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> 
> > +output_simple_type('[]'(Type, _Bounds)) --> 
> > +	output_type(Type),
> > +	io__write_string("[]").  % XXX we don't output bounds!
> 
> Why not?
> If that one is easy to fix, it would be good to go ahead and do so,
> because otherwise this will bite us one day.
> If it is not easy to fix, it would be good to document why not.

It's easy enough, but of course Microsoft have changed the specification
since I wrote what is there (they've added lower bounds with no fixed
upper bound).  I've fixed it now. 

> > +output_simple_type_opcode(bool) --> io__write_string("i4").
> > +output_simple_type_opcode(char) --> io__write_string("i4").
> > +output_simple_type_opcode(refany) --> io__write_string("ref").
> > +output_simple_type_opcode(class(_Name)) --> io__write_string("ref").
> > +output_simple_type_opcode(value_class(_Name)) --> io__write_string("ref").
> > +output_simple_type_opcode(interface(_Name)) --> io__write_string("ref").
> > +output_simple_type_opcode('[]'(_Type, _Bounds)) --> io__write_string("ref").
> > +output_simple_type_opcode('*'(_Type)) --> io__write_string("ref").
> > +output_simple_type_opcode('&'(_Type)) --> io__write_string("ref").
> 
> Hmm... some comments here explaining why all those different types
> map to the same opcode type might be helpful.

All the reference types use the same opcode.

I'm not sure what the correct opcode is for bool and char -- I will have
to look into this.


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