Bug in deep copy

Thomas Charles CONWAY conway at cs.mu.oz.au
Tue Feb 11 11:08:12 AEDT 1997


The following program, if built in GRADE=asm_fast, aborts in deep_copy.
(Note that at 11am today, I still haven't committed the stuff necessary
to build this test case, but I will do so shortly.)

-- 
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  "Thomas Tallis is dead, and muic dies." - William Byrd

:- module x.

:- interface.

:- import_module io.

:- pred main(io__state::di, io__state::uo) is det.

:- implementation.

:- import_module int, std_util, list, term, varset.

main -->
	{ Lambda = lambda([X::out] is nondet,
	(
		varset__init(Varset0),
		varset__new_vars(Varset0, 10, Vars, _),
		list__member(X, Vars)
	)) },
	{ solutions(Lambda, List) },
	io__write(List),
	io__write_string("\n").




More information about the developers mailing list