[m-rev.] Bugfixes for test failures due to solver types changes

Julien Fischer juliensf at cs.mu.OZ.AU
Fri Sep 10 18:31:46 AEST 2004


On Thu, 9 Sep 2004, Ralph Becket wrote:

> Estimated hours taken: 3
> Branches: main
>
> Bugfixes (mostly) related to the recent solver types changes.
>
...
> Index: tests/valid/solv.m
> ===================================================================
> RCS file: /home/mercury1/repository/tests/valid/solv.m,v
> retrieving revision 1.1
> diff -u -r1.1 solv.m
> --- tests/valid/solv.m	13 Oct 2003 02:29:42 -0000	1.1
> +++ tests/valid/solv.m	9 Sep 2004 05:22:35 -0000
> @@ -52,7 +52,10 @@
>  :- import_module std_util.
>
>  :- solver type fd_var
> -	---> fd_var(c_pointer).
> +	where	representation is c_pointer,
> +		initialisation is init_any,
> +		ground         is ground,
> +		any            is ground.
>
>  print_labeling(Vars) -->
>  	unsorted_aggregate(labeling(Vars), print_solution).

This one wasn't mention in the log message and is still broken.
I get the following from the compiler now:

	Uncaught Mercury exception:
	Software Error: unify_proc__generate_user_defined_unify_clauses
	Stack dump not available in this grade.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list