[m-rev.] For review: Improve the name mangling of foreign methods in the IL backend

[Jonathan Morgan]

On 6/8/07, Jonathan Morgan <jonmmorgan at gmail.com> wrote:
> On 6/7/07, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> >
> > On Thu, 7 Jun 2007, Jonathan Morgan wrote:
> >
> > >
> > > The error message given is:
> > >
> > > mercury_compile: cannot find `foreign_type_spec.foreign_type.int' in
> > > directories ., C:/cygwin/usr/local/mercury-rotd-2007-05-26/lib/mercury/ints.
> > > foreign_type_spec.m:007: In definition of type `foreign_type_spec.ft2'/0:
> > > foreign_type_spec.m:007:   error: undefined type `foreign'/0.
> > > mercury_compile: cannot find `foreign_type_spec.int0' in directories
> > > ., C:/cygwin/usr/local/mercury-rotd-2007-05-26/lib/mercury/ints.
> > >
> > > While I'm no expert in the Mercury build system, I wouldn't expect my
> > > change to cause this problem.
> >
> > With rotd-2006-06-06, the error I'm getting is:
> >
> >         Uncaught Mercury exception:
> >         Software Error: mlds_to_il.m: Unexpected: IL procedure is not a function
> >
> > which was is an assertion that your change introduced.
> >
> > Are you sure your copy of tests is up-to-date?  foreign_type_spec was
> > failing but Simon Taylor fixed it at the beginning of May and AFAIK it
> > has been working ever since.
>
> My version of the tests and of the compiler is up to date (ignore the
> rotd-2007-05-26, as that is just what I started with), and I get the
> following output.  This is done under Cygwin, using the command mmake
> foreign_type_spec.runtest.  I don't know whether this is an error with
> my build, or with Cygwin, or what.
>
> mmc --make-private-interface --grade asm_fast.gc  --grade il
> --flags ../TESTS_FLAGS     foreign_type_spec
> mercury_compile: cannot find `foreign_type_spec.foreign_type.int3' in
> directories ., C:/cygwin/usr/local/mercury-rotd-2007-05-26/lib/mercury/ints.
> Error reading interface files.
> `foreign_type_spec.int0' not written.
> mercury_compile: cannot find `foreign_type_spec.int0' in directories
> ., C:/cygwin/usr/local/mercury-rotd-2007-05-26/lib/mercury/ints.
> Error reading interface files.
> `foreign_type_spec.foreign_type.int0' not written.
> make: *** [foreign_type_spec.date0] Error 1

Also, if I do `mmc --make foreign_type_spec --grade il' then I get the
same assertion failure as you when building the IL file.

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