Bug 371557 – Stabilize dev-lang/mercury-11.01 and dev-lang/mercury-extras-11.01

• Product: Gentoo Linux
• Status: RESOLVED FIXED

[Description Keri Harris 2011-06-14 06:50:14 UTC]

Please stabilize:
=dev-lang/mercury-11.01
=dev-lang/mercury-extras-11.01

Be advised that on a slow machine mercury can take many hours to compile and
run through its testsuite.

[Comment 1 Ian Delaney (RETIRED) 2011-06-15 15:10:49 UTC]

amd64:

All emerged ok, not (yet) used it as such

[Comment 2 Agostino Sarubbo 2011-06-18 09:17:14 UTC]

If is needed only compilation is ok, otherwise can you provide with an example like "hello world" ?

[Comment 3 Agostino Sarubbo 2011-06-18 09:28:38 UTC]

and take a look at Bug 372149

[Comment 4 Keri Harris 2011-06-18 20:44:47 UTC]

(In reply to comment #2)
> If is needed only compilation is ok, otherwise can you provide with an example
> like "hello world" ?

Fortunately the mercury test suite along with compiling the mercury-extras package provide a comprehensive test of mercury's functionality. If you want to get your hands dirty and test the mercury compiler for yourself, then the following hello world program should suffice:

$ cat hello_world.m
:- module hello_world.
:- interface.
:- import_module io.
:- pred main(io::di, io::uo) is det.

:- implementation.
main(!IO) :-
        io.write_string("Hello, World!\n", !IO).

$ mmc hello_world.m
$ ./hello_world
Hello, World!

[Comment 5 Keri Harris 2011-06-18 20:46:31 UTC]

(In reply to comment #3)
> and take a look at Bug 372149

Thanks for lodging that bug - I've committed a fix to CVS.

[Comment 6 Agostino Sarubbo 2011-06-19 02:25:28 UTC]

simple program works, ok here

[Comment 7 Markos Chandras (RETIRED) 2011-06-20 11:23:35 UTC]

amd64 done. Thanks Agostino

[Comment 8 Myckel Habets 2011-06-21 16:40:03 UTC]

Builds fine on x86. Tests run fine. Please mark stable for x86.

[Comment 9 Markus Meier 2011-06-29 19:11:26 UTC]

x86 stable, thanks Myckel

[Comment 10 Kacper Kowalik (Xarthisius) (RETIRED) 2011-08-12 21:47:31 UTC]

ppc keywords dropped