[m-dev.] ROTD 2012-01-07 doesn't compile under the IL grade

Julien Fischer juliensf at csse.unimelb.edu.au
Thu May 24 14:30:59 AEST 2012


Hi Pete,

On Wed, 23 May 2012, Peter Ross wrote:

> I get the following error when trying to build the il grade with the
> latest rotd.
>
> mmc --make-optimization-interface --grade il      --mercury-linkage
> shared --flags LIB_FLAGS   --flags INTER_FLAGS --allow-stubs
> --no-warn-stubs
> -R/usr/local/stow/mercury-rotd-2012-01-07/lib/mercury/lib/il
> -R/usr/local/stow/mercury-rotd-2012-01-07/lib/mercury/lib     bool
> bool.m:080: In `pragma foreign_export_enum' declaration for `bool.bool'/0:
> bool.m:080:   error: `bool.bool'/0 is not an enumeration type. It has one or
> bool.m:080:   more non-zero arity constructors.
> bool.m:086: In `pragma foreign_export_enum' declaration for `bool.bool'/0:
> bool.m:086:   error: `bool.bool'/0 is not an enumeration type. It has one or
> bool.m:086:   more non-zero arity constructors.
> make[2]: *** [bool.optdate] Error 1
> make[2]: *** Waiting for unfinished jobs....
> make[2]: Leaving directory

I suspect you will encounter a number of problems when attempting to build
the il grade:

(1) Bitrot
(2) Do C# pragams now apply to the il grade, the csharp grade or both?
(3) There have been various changes to the Mmakefiles throughout the
     system for the csharp grade that have probably broken the il grade.

The above is probably due to the foreign_export_enum pragmas having never
been tried with the il grade - curiously there are only two such pragmas,
one for C# and one for Java.  (That the above check is being triggered
looks like a bug since the compiler is complaining about both of them
in the il grade.)

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



More information about the developers mailing list