%---------------------------------------------------------------------------% % vim: ts=4 sw=4 et ft=mercury %---------------------------------------------------------------------------% :- module bug544. :- interface. :- type t1. :- type t2. :- pred s(int::in, t2::out) is cc_nondet. :- implementation. :- import_module int. :- import_module list. :- type t1 ---> f(string, int). :- type t2 ---> g(t1, t1) ; i. % Test for commit s(X, Y) :- some [Z] ( (Z = 1 ; Z = 2), X = Z * Z, Result = f("hello", 0) ), Y = g(Result, Result).