[m-rev.] Trivial bugfix: any_free_unify.m

Ralph Becket rafe at cs.mu.OZ.AU
Tue Sep 21 17:41:14 AEST 2004


Estimated hours taken: 0.1
Branches: main

tests/hard_coded/any_free_unify.m:
	Bugfix: solver type foo lacked a definition.

Index: any_free_unify.m
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/any_free_unify.m,v
retrieving revision 1.3
diff -u -r1.3 any_free_unify.m
--- any_free_unify.m	10 Sep 2004 03:50:29 -0000	1.3
+++ any_free_unify.m	21 Sep 2004 07:38:21 -0000
@@ -14,7 +14,17 @@
 	{ test_any_free_unify([], Result1) },
 	io__print(Result1), io__nl.
 
-:- solver type foo.
+:- solver type foo
+	where	representation is int,	
+		initialisation is init_foo,
+		ground         is ground,
+		any            is ground.
+
+:- pred init_foo(foo::out(any)) is det.
+:- pragma promise_pure(init_foo/1).
+init_foo(X) :-
+	impure X = 'representation to any foo/0'(42).
+
 
 :- pred test_any_free_unify(list(foo), bool).
 :- mode test_any_free_unify(in(list_skel(any)), out) is det.
--------------------------------------------------------------------------
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