[m-rev.] diff: configure check for Erlang

Julien Fischer juliensf at csse.unimelb.edu.au
Fri May 18 15:45:01 AEST 2007


On Fri, 18 May 2007, Peter Wang wrote:

> Estimated hours taken: 0.1
> Branches: main
>
> configure.in:
> 	Require that the installed compiler recognise Erlang as a foreign
> 	language.
>
> Index: configure.in
> ===================================================================
> RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
> retrieving revision 1.489
> diff -u -r1.489 configure.in
> --- configure.in	17 Apr 2007 05:52:52 -0000	1.489
> +++ configure.in	18 May 2007 03:30:30 -0000
> @@ -278,6 +278,7 @@
> 		:- type x ---> x.
> 		:- pragma foreign_type("C", x, "MR_Integer",
> 			[[can_pass_as_mercury_type, stable]]).
> +		:- pragma foreign_type("Erlang", x, "").
>
> 		:- pragma foreign_proc("C", return_rtti_version(Version::out),
> 			[[may_call_mercury, promise_pure, terminates,

Please ensure that all the installed compilers (except the one on ceres)
support Erlang as a valid foreign_type language before committing this.

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



More information about the reviews mailing list