[m-dev.] IL standard library problems

[Jonathan Morgan]

On Nov 7, 2007 7:35 PM, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> On Wed, 7 Nov 2007, Jonathan Morgan wrote:
>
> > On Nov 7, 2007 4:42 PM, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> >> On Wed, 7 Nov 2007, Jonathan Morgan wrote:
> >>> I have been trying to build the standard library in the IL grade
> >>> again.  A few problems that I found:
> >>>
> >>> 1. There was a warning that variables weren't referenced for io.do_make_temp/3.
> >>
> >> A warning from what?  mmc, gcc ...?
> >
> > Sorry, that wasn't clear at all.  It was due to variables not being
> > used in the foreign code, as the error below shows.  Easy to fix, but
> > does halt the compilation of the standard library.
> >
> > io.m:9915: In the C# code for predicate `io.do_make_temp'/8:
> > io.m:9915:   warning: variables `Dir, Prefix' do not occur in the C# code.
>
> As you say, easy to fix.
>
> >>> 2. Building the new pretty printer fails, because IL does not support
> >>> mutable variables.  Is it necessary to support the new pretty printer
> >>> for anything?
> >>
> >> The debugger uses it, but that doesn't work with the IL backend anyway.
> >
> > Should it be not included at all for grades without mutables, or
> > should I just ignore this and fix the mutable problem when I have
> > time?
>
> It depends on how you intend to fix it?

Implement mutables for ILs.

> A temporary fix would be to provide C# foreign_procs for any
> affected predicates, i.e. the ones that call the mutable access preds.
> The C# foreign_procs would override the Mercury clauses used by the
> C backends.

Probably not worth the trouble, but I might have a look at it.

Jon
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------