[m-rev.] diff: sol() wrappers

[Zoltan Somogyi]

tests/hard_coded/string_alignment_bug.exp:
	Conform to the recent change to put sol() wrappers around set_ordlists.

cvs diff: Diffing .
Index: string_alignment_bug.exp
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/hard_coded/string_alignment_bug.exp,v
retrieving revision 1.2
diff -u -b -r1.2 string_alignment_bug.exp
--- string_alignment_bug.exp	13 Jan 2001 02:30:30 -0000	1.2
+++ string_alignment_bug.exp	19 Nov 2007 05:37:10 -0000
@@ -5,11 +5,11 @@
 two("Tiles", univ_cons(three(3 - 1, tile(plain, []), 6 - 3, tile(plain, []), two(1 - 5, tile(plain, []), two(0 - 7, tile(plain, []), two(0 - 3, tile(plain, []), two(0 - 1, tile(plain, []), two(0 - 0, tile(plain, []), empty, empty), two(0 - 2, tile(plain, []), empty, empty)), two(0 - 5, tile(plain, []), two(0 - 4, tile(plain, []), empty, empty), two(0 - 6, tile(plain, []), empty, empty))), two(1 - 1, tile(plain, []), two(0 - 9, tile(plain, []), two(0 - 8, tile(plain, []), empty, empty), two(1 - 0, tile(plain, []), empty, empty)), two(1 - 3, tile(plain, []), two(1 - 2, tile(plain, []), empty, empty), two(1 - 4, tile(plain, []), empty, empty)))), two(2 - 3, tile(plain, []), two(1 - 9, tile(plain, []), two(1 - 7, tile(plain, []), two(1 - 6, tile(plain, []), empty, empty), two(1 - 8, tile(plain, []), empty, empty)), two(2 - 1, tile(plain, []), two(2 - 0, tile(plain, []), empty, empty), two(2 - 2, tile(plain, []), empty, empty))), two(2 - 7, tile(plain, []), two(2 - 5, tile(plain!
 , []), two(2 - 4, tile(plain, []), empty, empty), two(2 - 6, tile(plain, []), empty, empty)), two(2 - 9, tile(plain, []), two(2 - 8, tile(plain, []), empty, empty), two(3 - 0, tile(plain, []), empty, empty))))), two(4 - 7, tile(plain, []), two(3 - 9, tile(plain, []), two(3 - 5, tile(plain, []), two(3 - 3, tile(plain, []), two(3 - 2, tile(plain, []), empty, empty), two(3 - 4, tile(plain, []), empty, empty)), two(3 - 7, tile(plain, []), two(3 - 6, tile(plain, []), empty, empty), two(3 - 8, tile(plain, []), empty, empty))), two(4 - 3, tile(plain, []), two(4 - 1, tile(plain, []), two(4 - 0, tile(plain, []), empty, empty), two(4 - 2, tile(plain, []), empty, empty)), two(4 - 5, tile(plain, []), two(4 - 4, tile(plain, []), empty, empty), two(4 - 6, tile(plain, []), empty, empty)))), two(5 - 5, tile(plain, []), two(5 - 1, tile(plain, []), two(4 - 9, tile(plain, []), two(4 - 8, tile(plain, []), empty, empty), two(5 - 0, tile(plain, []), empty, empty)), two(5 - 3, tile(plain, []), tw!
 o(5 - 2, tile(plain, []), empty, empty), two(5 - 4, tile(plain!
 , []), e
mpty, empty))), two(5 - 9, tile(plain, []), two(5 - 7, tile(plain, []), two(5 - 6, tile(plain, []), empty, empty), two(5 - 8, tile(plain, []), empty, empty)), two(6 - 1, tile(plain, []), two(6 - 0, tile(plain, []), empty, empty), two(6 - 2, tile(plain, []), empty, empty))))), two(7 - 9, tile(plain, []), two(7 - 1, tile(plain, []), two(6 - 7, tile(plain, []), two(6 - 5, tile(plain, []), two(6 - 4, tile(plain, []), empty, empty), two(6 - 6, tile(plain, []), empty, empty)), two(6 - 9, tile(plain, []), two(6 - 8, tile(plain, []), empty, empty), two(7 - 0, tile(plain, []), empty, empty))), two(7 - 5, tile(plain, []), two(7 - 3, tile(plain, []), two(7 - 2, tile(plain, []), empty, empty), two(7 - 4, tile(plain, []), empty, empty)), two(7 - 7, tile(plain, []), two(7 - 6, tile(plain, []), empty, empty), two(7 - 8, tile(plain, []), empty, empty)))), two(8 - 7, tile(plain, []), two(8 - 3, tile(plain, []), two(8 - 1, tile(plain, []), two(8 - 0, tile(plain, []), empty, empty), two(8 - 2,!
  tile(plain, []), empty, empty)), two(8 - 5, tile(plain, []), two(8 - 4, tile(plain, []), empty, empty), two(8 - 6, tile(plain, []), empty, empty))), two(9 - 1, tile(plain, []), two(8 - 9, tile(plain, []), two(8 - 8, tile(plain, []), empty, empty), two(9 - 0, tile(plain, []), empty, empty)), four(9 - 3, tile(plain, []), 9 - 5, tile(plain, []), 9 - 7, tile(plain, []), two(9 - 2, tile(plain, []), empty, empty), two(9 - 4, tile(plain, []), empty, empty), two(9 - 6, tile(plain, []), empty, empty), three(9 - 8, tile(plain, []), 9 - 9, tile(plain, []), empty, empty, empty))))))), empty, empty)
 Current global store:
 two("Tiles", univ_cons(three(3 - 1, tile(plain, []), 6 - 3, tile(plain, []), two(1 - 5, tile(plain, []), two(0 - 7, tile(plain, []), two(0 - 3, tile(plain, []), two(0 - 1, tile(plain, []), two(0 - 0, tile(plain, []), empty, empty), two(0 - 2, tile(plain, []), empty, empty)), two(0 - 5, tile(plain, []), two(0 - 4, tile(plain, []), empty, empty), two(0 - 6, tile(plain, []), empty, empty))), two(1 - 1, tile(plain, []), two(0 - 9, tile(plain, []), two(0 - 8, tile(plain, []), empty, empty), two(1 - 0, tile(plain, []), empty, empty)), two(1 - 3, tile(plain, []), two(1 - 2, tile(plain, []), empty, empty), two(1 - 4, tile(plain, []), empty, empty)))), two(2 - 3, tile(plain, []), two(1 - 9, tile(plain, []), two(1 - 7, tile(plain, []), two(1 - 6, tile(plain, []), empty, empty), two(1 - 8, tile(plain, []), empty, empty)), two(2 - 1, tile(plain, []), two(2 - 0, tile(plain, []), empty, empty), two(2 - 2, tile(plain, []), empty, empty))), two(2 - 7, tile(plain, []), two(2 - 5, tile(plain!
 , []), two(2 - 4, tile(plain, []), empty, empty), two(2 - 6, tile(plain, []), empty, empty)), two(2 - 9, tile(plain, []), two(2 - 8, tile(plain, []), empty, empty), two(3 - 0, tile(plain, []), empty, empty))))), two(4 - 7, tile(plain, []), two(3 - 9, tile(plain, []), two(3 - 5, tile(plain, []), two(3 - 3, tile(plain, []), two(3 - 2, tile(plain, []), empty, empty), two(3 - 4, tile(plain, []), empty, empty)), two(3 - 7, tile(plain, []), two(3 - 6, tile(plain, []), empty, empty), two(3 - 8, tile(plain, []), empty, empty))), two(4 - 3, tile(plain, []), two(4 - 1, tile(plain, []), two(4 - 0, tile(plain, []), empty, empty), two(4 - 2, tile(plain, []), empty, empty)), two(4 - 5, tile(plain, []), two(4 - 4, tile(plain, []), empty, empty), two(4 - 6, tile(plain, []), empty, empty)))), two(5 - 5, tile(plain, []), two(5 - 1, tile(plain, []), two(4 - 9, tile(plain, []), two(4 - 8, tile(plain, []), empty, empty), two(5 - 0, tile(plain, []), empty, empty)), two(5 - 3, tile(plain, []), tw!
 o(5 - 2, tile(plain, []), empty, empty), two(5 - 4, tile(plain!
 , []), e
mpty, empty))), two(5 - 9, tile(plain, []), two(5 - 7, tile(plain, []), two(5 - 6, tile(plain, []), empty, empty), two(5 - 8, tile(plain, []), empty, empty)), two(6 - 1, tile(plain, []), two(6 - 0, tile(plain, []), empty, empty), two(6 - 2, tile(plain, []), empty, empty))))), two(7 - 9, tile(plain, []), two(7 - 1, tile(plain, []), two(6 - 7, tile(plain, []), two(6 - 5, tile(plain, []), two(6 - 4, tile(plain, []), empty, empty), two(6 - 6, tile(plain, []), empty, empty)), two(6 - 9, tile(plain, []), two(6 - 8, tile(plain, []), empty, empty), two(7 - 0, tile(plain, []), empty, empty))), two(7 - 5, tile(plain, []), two(7 - 3, tile(plain, []), two(7 - 2, tile(plain, []), empty, empty), two(7 - 4, tile(plain, []), empty, empty)), two(7 - 7, tile(plain, []), two(7 - 6, tile(plain, []), empty, empty), two(7 - 8, tile(plain, []), empty, empty)))), two(8 - 7, tile(plain, []), two(8 - 3, tile(plain, []), two(8 - 1, tile(plain, []), two(8 - 0, tile(plain, []), empty, empty), two(8 - 2,!
  tile(plain, []), empty, empty)), two(8 - 5, tile(plain, []), two(8 - 4, tile(plain, []), empty, empty), two(8 - 6, tile(plain, []), empty, empty))), two(9 - 1, tile(plain, []), two(8 - 9, tile(plain, []), two(8 - 8, tile(plain, []), empty, empty), two(9 - 0, tile(plain, []), empty, empty)), four(9 - 3, tile(plain, []), 9 - 5, tile(plain, []), 9 - 7, tile(plain, []), two(9 - 2, tile(plain, []), empty, empty), two(9 - 4, tile(plain, []), empty, empty), two(9 - 6, tile(plain, []), empty, empty), three(9 - 8, tile(plain, []), 9 - 9, tile(plain, []), empty, empty, empty))))))), empty, empty)
-Adding `Selection': []
+Adding `Selection': sol([])
 New global store:
-three("Selection", univ_cons([]), "Tiles", univ_cons(three(3 - 1, tile(plain, []), 6 - 3, tile(plain, []), two(1 - 5, tile(plain, []), two(0 - 7, tile(plain, []), two(0 - 3, tile(plain, []), two(0 - 1, tile(plain, []), two(0 - 0, tile(plain, []), empty, empty), two(0 - 2, tile(plain, []), empty, empty)), two(0 - 5, tile(plain, []), two(0 - 4, tile(plain, []), empty, empty), two(0 - 6, tile(plain, []), empty, empty))), two(1 - 1, tile(plain, []), two(0 - 9, tile(plain, []), two(0 - 8, tile(plain, []), empty, empty), two(1 - 0, tile(plain, []), empty, empty)), two(1 - 3, tile(plain, []), two(1 - 2, tile(plain, []), empty, empty), two(1 - 4, tile(plain, []), empty, empty)))), two(2 - 3, tile(plain, []), two(1 - 9, tile(plain, []), two(1 - 7, tile(plain, []), two(1 - 6, tile(plain, []), empty, empty), two(1 - 8, tile(plain, []), empty, empty)), two(2 - 1, tile(plain, []), two(2 - 0, tile(plain, []), empty, empty), two(2 - 2, tile(plain, []), empty, empty))), two(2 - 7, tile(pla!
 in, []), two(2 - 5, tile(plain, []), two(2 - 4, tile(plain, []), empty, empty), two(2 - 6, tile(plain, []), empty, empty)), two(2 - 9, tile(plain, []), two(2 - 8, tile(plain, []), empty, empty), two(3 - 0, tile(plain, []), empty, empty))))), two(4 - 7, tile(plain, []), two(3 - 9, tile(plain, []), two(3 - 5, tile(plain, []), two(3 - 3, tile(plain, []), two(3 - 2, tile(plain, []), empty, empty), two(3 - 4, tile(plain, []), empty, empty)), two(3 - 7, tile(plain, []), two(3 - 6, tile(plain, []), empty, empty), two(3 - 8, tile(plain, []), empty, empty))), two(4 - 3, tile(plain, []), two(4 - 1, tile(plain, []), two(4 - 0, tile(plain, []), empty, empty), two(4 - 2, tile(plain, []), empty, empty)), two(4 - 5, tile(plain, []), two(4 - 4, tile(plain, []), empty, empty), two(4 - 6, tile(plain, []), empty, empty)))), two(5 - 5, tile(plain, []), two(5 - 1, tile(plain, []), two(4 - 9, tile(plain, []), two(4 - 8, tile(plain, []), empty, empty), two(5 - 0, tile(plain, []), empty, empty)), !
 two(5 - 3, tile(plain, []), two(5 - 2, tile(plain, []), empty,!
  empty),
 two(5 - 4, tile(plain, []), empty, empty))), two(5 - 9, tile(plain, []), two(5 - 7, tile(plain, []), two(5 - 6, tile(plain, []), empty, empty), two(5 - 8, tile(plain, []), empty, empty)), two(6 - 1, tile(plain, []), two(6 - 0, tile(plain, []), empty, empty), two(6 - 2, tile(plain, []), empty, empty))))), two(7 - 9, tile(plain, []), two(7 - 1, tile(plain, []), two(6 - 7, tile(plain, []), two(6 - 5, tile(plain, []), two(6 - 4, tile(plain, []), empty, empty), two(6 - 6, tile(plain, []), empty, empty)), two(6 - 9, tile(plain, []), two(6 - 8, tile(plain, []), empty, empty), two(7 - 0, tile(plain, []), empty, empty))), two(7 - 5, tile(plain, []), two(7 - 3, tile(plain, []), two(7 - 2, tile(plain, []), empty, empty), two(7 - 4, tile(plain, []), empty, empty)), two(7 - 7, tile(plain, []), two(7 - 6, tile(plain, []), empty, empty), two(7 - 8, tile(plain, []), empty, empty)))), two(8 - 7, tile(plain, []), two(8 - 3, tile(plain, []), two(8 - 1, tile(plain, []), two(8 - 0, tile(plain, !
 []), empty, empty), two(8 - 2, tile(plain, []), empty, empty)), two(8 - 5, tile(plain, []), two(8 - 4, tile(plain, []), empty, empty), two(8 - 6, tile(plain, []), empty, empty))), two(9 - 1, tile(plain, []), two(8 - 9, tile(plain, []), two(8 - 8, tile(plain, []), empty, empty), two(9 - 0, tile(plain, []), empty, empty)), four(9 - 3, tile(plain, []), 9 - 5, tile(plain, []), 9 - 7, tile(plain, []), two(9 - 2, tile(plain, []), empty, empty), two(9 - 4, tile(plain, []), empty, empty), two(9 - 6, tile(plain, []), empty, empty), three(9 - 8, tile(plain, []), 9 - 9, tile(plain, []), empty, empty, empty))))))), empty, empty, empty)
+three("Selection", univ_cons(sol([])), "Tiles", univ_cons(three(3 - 1, tile(plain, []), 6 - 3, tile(plain, []), two(1 - 5, tile(plain, []), two(0 - 7, tile(plain, []), two(0 - 3, tile(plain, []), two(0 - 1, tile(plain, []), two(0 - 0, tile(plain, []), empty, empty), two(0 - 2, tile(plain, []), empty, empty)), two(0 - 5, tile(plain, []), two(0 - 4, tile(plain, []), empty, empty), two(0 - 6, tile(plain, []), empty, empty))), two(1 - 1, tile(plain, []), two(0 - 9, tile(plain, []), two(0 - 8, tile(plain, []), empty, empty), two(1 - 0, tile(plain, []), empty, empty)), two(1 - 3, tile(plain, []), two(1 - 2, tile(plain, []), empty, empty), two(1 - 4, tile(plain, []), empty, empty)))), two(2 - 3, tile(plain, []), two(1 - 9, tile(plain, []), two(1 - 7, tile(plain, []), two(1 - 6, tile(plain, []), empty, empty), two(1 - 8, tile(plain, []), empty, empty)), two(2 - 1, tile(plain, []), two(2 - 0, tile(plain, []), empty, empty), two(2 - 2, tile(plain, []), empty, empty))), two(2 - 7, til!
 e(plain, []), two(2 - 5, tile(plain, []), two(2 - 4, tile(plain, []), empty, empty), two(2 - 6, tile(plain, []), empty, empty)), two(2 - 9, tile(plain, []), two(2 - 8, tile(plain, []), empty, empty), two(3 - 0, tile(plain, []), empty, empty))))), two(4 - 7, tile(plain, []), two(3 - 9, tile(plain, []), two(3 - 5, tile(plain, []), two(3 - 3, tile(plain, []), two(3 - 2, tile(plain, []), empty, empty), two(3 - 4, tile(plain, []), empty, empty)), two(3 - 7, tile(plain, []), two(3 - 6, tile(plain, []), empty, empty), two(3 - 8, tile(plain, []), empty, empty))), two(4 - 3, tile(plain, []), two(4 - 1, tile(plain, []), two(4 - 0, tile(plain, []), empty, empty), two(4 - 2, tile(plain, []), empty, empty)), two(4 - 5, tile(plain, []), two(4 - 4, tile(plain, []), empty, empty), two(4 - 6, tile(plain, []), empty, empty)))), two(5 - 5, tile(plain, []), two(5 - 1, tile(plain, []), two(4 - 9, tile(plain, []), two(4 - 8, tile(plain, []), empty, empty), two(5 - 0, tile(plain, []), empty, empt!
 y)), two(5 - 3, tile(plain, []), two(5 - 2, tile(plain, []), e!
 mpty, em
pty), two(5 - 4, tile(plain, []), empty, empty))), two(5 - 9, tile(plain, []), two(5 - 7, tile(plain, []), two(5 - 6, tile(plain, []), empty, empty), two(5 - 8, tile(plain, []), empty, empty)), two(6 - 1, tile(plain, []), two(6 - 0, tile(plain, []), empty, empty), two(6 - 2, tile(plain, []), empty, empty))))), two(7 - 9, tile(plain, []), two(7 - 1, tile(plain, []), two(6 - 7, tile(plain, []), two(6 - 5, tile(plain, []), two(6 - 4, tile(plain, []), empty, empty), two(6 - 6, tile(plain, []), empty, empty)), two(6 - 9, tile(plain, []), two(6 - 8, tile(plain, []), empty, empty), two(7 - 0, tile(plain, []), empty, empty))), two(7 - 5, tile(plain, []), two(7 - 3, tile(plain, []), two(7 - 2, tile(plain, []), empty, empty), two(7 - 4, tile(plain, []), empty, empty)), two(7 - 7, tile(plain, []), two(7 - 6, tile(plain, []), empty, empty), two(7 - 8, tile(plain, []), empty, empty)))), two(8 - 7, tile(plain, []), two(8 - 3, tile(plain, []), two(8 - 1, tile(plain, []), two(8 - 0, tile(pl!
 ain, []), empty, empty), two(8 - 2, tile(plain, []), empty, empty)), two(8 - 5, tile(plain, []), two(8 - 4, tile(plain, []), empty, empty), two(8 - 6, tile(plain, []), empty, empty))), two(9 - 1, tile(plain, []), two(8 - 9, tile(plain, []), two(8 - 8, tile(plain, []), empty, empty), two(9 - 0, tile(plain, []), empty, empty)), four(9 - 3, tile(plain, []), 9 - 5, tile(plain, []), 9 - 7, tile(plain, []), two(9 - 2, tile(plain, []), empty, empty), two(9 - 4, tile(plain, []), empty, empty), two(9 - 6, tile(plain, []), empty, empty), three(9 - 8, tile(plain, []), 9 - 9, tile(plain, []), empty, empty, empty))))))), empty, empty, empty)
 Current global store:
-three("Selection", univ_cons([]), "Tiles", univ_cons(three(3 - 1, tile(plain, []), 6 - 3, tile(plain, []), two(1 - 5, tile(plain, []), two(0 - 7, tile(plain, []), two(0 - 3, tile(plain, []), two(0 - 1, tile(plain, []), two(0 - 0, tile(plain, []), empty, empty), two(0 - 2, tile(plain, []), empty, empty)), two(0 - 5, tile(plain, []), two(0 - 4, tile(plain, []), empty, empty), two(0 - 6, tile(plain, []), empty, empty))), two(1 - 1, tile(plain, []), two(0 - 9, tile(plain, []), two(0 - 8, tile(plain, []), empty, empty), two(1 - 0, tile(plain, []), empty, empty)), two(1 - 3, tile(plain, []), two(1 - 2, tile(plain, []), empty, empty), two(1 - 4, tile(plain, []), empty, empty)))), two(2 - 3, tile(plain, []), two(1 - 9, tile(plain, []), two(1 - 7, tile(plain, []), two(1 - 6, tile(plain, []), empty, empty), two(1 - 8, tile(plain, []), empty, empty)), two(2 - 1, tile(plain, []), two(2 - 0, tile(plain, []), empty, empty), two(2 - 2, tile(plain, []), empty, empty))), two(2 - 7, tile(pla!
 in, []), two(2 - 5, tile(plain, []), two(2 - 4, tile(plain, []), empty, empty), two(2 - 6, tile(plain, []), empty, empty)), two(2 - 9, tile(plain, []), two(2 - 8, tile(plain, []), empty, empty), two(3 - 0, tile(plain, []), empty, empty))))), two(4 - 7, tile(plain, []), two(3 - 9, tile(plain, []), two(3 - 5, tile(plain, []), two(3 - 3, tile(plain, []), two(3 - 2, tile(plain, []), empty, empty), two(3 - 4, tile(plain, []), empty, empty)), two(3 - 7, tile(plain, []), two(3 - 6, tile(plain, []), empty, empty), two(3 - 8, tile(plain, []), empty, empty))), two(4 - 3, tile(plain, []), two(4 - 1, tile(plain, []), two(4 - 0, tile(plain, []), empty, empty), two(4 - 2, tile(plain, []), empty, empty)), two(4 - 5, tile(plain, []), two(4 - 4, tile(plain, []), empty, empty), two(4 - 6, tile(plain, []), empty, empty)))), two(5 - 5, tile(plain, []), two(5 - 1, tile(plain, []), two(4 - 9, tile(plain, []), two(4 - 8, tile(plain, []), empty, empty), two(5 - 0, tile(plain, []), empty, empty)), !
 two(5 - 3, tile(plain, []), two(5 - 2, tile(plain, []), empty,!
  empty),
 two(5 - 4, tile(plain, []), empty, empty))), two(5 - 9, tile(plain, []), two(5 - 7, tile(plain, []), two(5 - 6, tile(plain, []), empty, empty), two(5 - 8, tile(plain, []), empty, empty)), two(6 - 1, tile(plain, []), two(6 - 0, tile(plain, []), empty, empty), two(6 - 2, tile(plain, []), empty, empty))))), two(7 - 9, tile(plain, []), two(7 - 1, tile(plain, []), two(6 - 7, tile(plain, []), two(6 - 5, tile(plain, []), two(6 - 4, tile(plain, []), empty, empty), two(6 - 6, tile(plain, []), empty, empty)), two(6 - 9, tile(plain, []), two(6 - 8, tile(plain, []), empty, empty), two(7 - 0, tile(plain, []), empty, empty))), two(7 - 5, tile(plain, []), two(7 - 3, tile(plain, []), two(7 - 2, tile(plain, []), empty, empty), two(7 - 4, tile(plain, []), empty, empty)), two(7 - 7, tile(plain, []), two(7 - 6, tile(plain, []), empty, empty), two(7 - 8, tile(plain, []), empty, empty)))), two(8 - 7, tile(plain, []), two(8 - 3, tile(plain, []), two(8 - 1, tile(plain, []), two(8 - 0, tile(plain, !
 []), empty, empty), two(8 - 2, tile(plain, []), empty, empty)), two(8 - 5, tile(plain, []), two(8 - 4, tile(plain, []), empty, empty), two(8 - 6, tile(plain, []), empty, empty))), two(9 - 1, tile(plain, []), two(8 - 9, tile(plain, []), two(8 - 8, tile(plain, []), empty, empty), two(9 - 0, tile(plain, []), empty, empty)), four(9 - 3, tile(plain, []), 9 - 5, tile(plain, []), 9 - 7, tile(plain, []), two(9 - 2, tile(plain, []), empty, empty), two(9 - 4, tile(plain, []), empty, empty), two(9 - 6, tile(plain, []), empty, empty), three(9 - 8, tile(plain, []), 9 - 9, tile(plain, []), empty, empty, empty))))))), empty, empty, empty)
+three("Selection", univ_cons(sol([])), "Tiles", univ_cons(three(3 - 1, tile(plain, []), 6 - 3, tile(plain, []), two(1 - 5, tile(plain, []), two(0 - 7, tile(plain, []), two(0 - 3, tile(plain, []), two(0 - 1, tile(plain, []), two(0 - 0, tile(plain, []), empty, empty), two(0 - 2, tile(plain, []), empty, empty)), two(0 - 5, tile(plain, []), two(0 - 4, tile(plain, []), empty, empty), two(0 - 6, tile(plain, []), empty, empty))), two(1 - 1, tile(plain, []), two(0 - 9, tile(plain, []), two(0 - 8, tile(plain, []), empty, empty), two(1 - 0, tile(plain, []), empty, empty)), two(1 - 3, tile(plain, []), two(1 - 2, tile(plain, []), empty, empty), two(1 - 4, tile(plain, []), empty, empty)))), two(2 - 3, tile(plain, []), two(1 - 9, tile(plain, []), two(1 - 7, tile(plain, []), two(1 - 6, tile(plain, []), empty, empty), two(1 - 8, tile(plain, []), empty, empty)), two(2 - 1, tile(plain, []), two(2 - 0, tile(plain, []), empty, empty), two(2 - 2, tile(plain, []), empty, empty))), two(2 - 7, til!
 e(plain, []), two(2 - 5, tile(plain, []), two(2 - 4, tile(plain, []), empty, empty), two(2 - 6, tile(plain, []), empty, empty)), two(2 - 9, tile(plain, []), two(2 - 8, tile(plain, []), empty, empty), two(3 - 0, tile(plain, []), empty, empty))))), two(4 - 7, tile(plain, []), two(3 - 9, tile(plain, []), two(3 - 5, tile(plain, []), two(3 - 3, tile(plain, []), two(3 - 2, tile(plain, []), empty, empty), two(3 - 4, tile(plain, []), empty, empty)), two(3 - 7, tile(plain, []), two(3 - 6, tile(plain, []), empty, empty), two(3 - 8, tile(plain, []), empty, empty))), two(4 - 3, tile(plain, []), two(4 - 1, tile(plain, []), two(4 - 0, tile(plain, []), empty, empty), two(4 - 2, tile(plain, []), empty, empty)), two(4 - 5, tile(plain, []), two(4 - 4, tile(plain, []), empty, empty), two(4 - 6, tile(plain, []), empty, empty)))), two(5 - 5, tile(plain, []), two(5 - 1, tile(plain, []), two(4 - 9, tile(plain, []), two(4 - 8, tile(plain, []), empty, empty), two(5 - 0, tile(plain, []), empty, empt!
 y)), two(5 - 3, tile(plain, []), two(5 - 2, tile(plain, []), e!
 mpty, em
pty), two(5 - 4, tile(plain, []), empty, empty))), two(5 - 9, tile(plain, []), two(5 - 7, tile(plain, []), two(5 - 6, tile(plain, []), empty, empty), two(5 - 8, tile(plain, []), empty, empty)), two(6 - 1, tile(plain, []), two(6 - 0, tile(plain, []), empty, empty), two(6 - 2, tile(plain, []), empty, empty))))), two(7 - 9, tile(plain, []), two(7 - 1, tile(plain, []), two(6 - 7, tile(plain, []), two(6 - 5, tile(plain, []), two(6 - 4, tile(plain, []), empty, empty), two(6 - 6, tile(plain, []), empty, empty)), two(6 - 9, tile(plain, []), two(6 - 8, tile(plain, []), empty, empty), two(7 - 0, tile(plain, []), empty, empty))), two(7 - 5, tile(plain, []), two(7 - 3, tile(plain, []), two(7 - 2, tile(plain, []), empty, empty), two(7 - 4, tile(plain, []), empty, empty)), two(7 - 7, tile(plain, []), two(7 - 6, tile(plain, []), empty, empty), two(7 - 8, tile(plain, []), empty, empty)))), two(8 - 7, tile(plain, []), two(8 - 3, tile(plain, []), two(8 - 1, tile(plain, []), two(8 - 0, tile(pl!
 ain, []), empty, empty), two(8 - 2, tile(plain, []), empty, empty)), two(8 - 5, tile(plain, []), two(8 - 4, tile(plain, []), empty, empty), two(8 - 6, tile(plain, []), empty, empty))), two(9 - 1, tile(plain, []), two(8 - 9, tile(plain, []), two(8 - 8, tile(plain, []), empty, empty), two(9 - 0, tile(plain, []), empty, empty)), four(9 - 3, tile(plain, []), 9 - 5, tile(plain, []), 9 - 7, tile(plain, []), two(9 - 2, tile(plain, []), empty, empty), two(9 - 4, tile(plain, []), empty, empty), two(9 - 6, tile(plain, []), empty, empty), three(9 - 8, tile(plain, []), 9 - 9, tile(plain, []), empty, empty, empty))))))), empty, empty, empty)
 Adding `CurrentFile': no
 New global store:
-four("CurrentFile", univ_cons(no), "Selection", univ_cons([]), "Tiles", univ_cons(three(3 - 1, tile(plain, []), 6 - 3, tile(plain, []), two(1 - 5, tile(plain, []), two(0 - 7, tile(plain, []), two(0 - 3, tile(plain, []), two(0 - 1, tile(plain, []), two(0 - 0, tile(plain, []), empty, empty), two(0 - 2, tile(plain, []), empty, empty)), two(0 - 5, tile(plain, []), two(0 - 4, tile(plain, []), empty, empty), two(0 - 6, tile(plain, []), empty, empty))), two(1 - 1, tile(plain, []), two(0 - 9, tile(plain, []), two(0 - 8, tile(plain, []), empty, empty), two(1 - 0, tile(plain, []), empty, empty)), two(1 - 3, tile(plain, []), two(1 - 2, tile(plain, []), empty, empty), two(1 - 4, tile(plain, []), empty, empty)))), two(2 - 3, tile(plain, []), two(1 - 9, tile(plain, []), two(1 - 7, tile(plain, []), two(1 - 6, tile(plain, []), empty, empty), two(1 - 8, tile(plain, []), empty, empty)), two(2 - 1, tile(plain, []), two(2 - 0, tile(plain, []), empty, empty), two(2 - 2, tile(plain, []), empty, !
 empty))), two(2 - 7, tile(plain, []), two(2 - 5, tile(plain, []), two(2 - 4, tile(plain, []), empty, empty), two(2 - 6, tile(plain, []), empty, empty)), two(2 - 9, tile(plain, []), two(2 - 8, tile(plain, []), empty, empty), two(3 - 0, tile(plain, []), empty, empty))))), two(4 - 7, tile(plain, []), two(3 - 9, tile(plain, []), two(3 - 5, tile(plain, []), two(3 - 3, tile(plain, []), two(3 - 2, tile(plain, []), empty, empty), two(3 - 4, tile(plain, []), empty, empty)), two(3 - 7, tile(plain, []), two(3 - 6, tile(plain, []), empty, empty), two(3 - 8, tile(plain, []), empty, empty))), two(4 - 3, tile(plain, []), two(4 - 1, tile(plain, []), two(4 - 0, tile(plain, []), empty, empty), two(4 - 2, tile(plain, []), empty, empty)), two(4 - 5, tile(plain, []), two(4 - 4, tile(plain, []), empty, empty), two(4 - 6, tile(plain, []), empty, empty)))), two(5 - 5, tile(plain, []), two(5 - 1, tile(plain, []), two(4 - 9, tile(plain, []), two(4 - 8, tile(plain, []), empty, empty), two(5 - 0, tile!
 (plain, []), empty, empty)), two(5 - 3, tile(plain, []), two(5!
  - 2, ti
le(plain, []), empty, empty), two(5 - 4, tile(plain, []), empty, empty))), two(5 - 9, tile(plain, []), two(5 - 7, tile(plain, []), two(5 - 6, tile(plain, []), empty, empty), two(5 - 8, tile(plain, []), empty, empty)), two(6 - 1, tile(plain, []), two(6 - 0, tile(plain, []), empty, empty), two(6 - 2, tile(plain, []), empty, empty))))), two(7 - 9, tile(plain, []), two(7 - 1, tile(plain, []), two(6 - 7, tile(plain, []), two(6 - 5, tile(plain, []), two(6 - 4, tile(plain, []), empty, empty), two(6 - 6, tile(plain, []), empty, empty)), two(6 - 9, tile(plain, []), two(6 - 8, tile(plain, []), empty, empty), two(7 - 0, tile(plain, []), empty, empty))), two(7 - 5, tile(plain, []), two(7 - 3, tile(plain, []), two(7 - 2, tile(plain, []), empty, empty), two(7 - 4, tile(plain, []), empty, empty)), two(7 - 7, tile(plain, []), two(7 - 6, tile(plain, []), empty, empty), two(7 - 8, tile(plain, []), empty, empty)))), two(8 - 7, tile(plain, []), two(8 - 3, tile(plain, []), two(8 - 1, tile(plain,!
  []), two(8 - 0, tile(plain, []), empty, empty), two(8 - 2, tile(plain, []), empty, empty)), two(8 - 5, tile(plain, []), two(8 - 4, tile(plain, []), empty, empty), two(8 - 6, tile(plain, []), empty, empty))), two(9 - 1, tile(plain, []), two(8 - 9, tile(plain, []), two(8 - 8, tile(plain, []), empty, empty), two(9 - 0, tile(plain, []), empty, empty)), four(9 - 3, tile(plain, []), 9 - 5, tile(plain, []), 9 - 7, tile(plain, []), two(9 - 2, tile(plain, []), empty, empty), two(9 - 4, tile(plain, []), empty, empty), two(9 - 6, tile(plain, []), empty, empty), three(9 - 8, tile(plain, []), 9 - 9, tile(plain, []), empty, empty, empty))))))), empty, empty, empty, empty)
+four("CurrentFile", univ_cons(no), "Selection", univ_cons(sol([])), "Tiles", univ_cons(three(3 - 1, tile(plain, []), 6 - 3, tile(plain, []), two(1 - 5, tile(plain, []), two(0 - 7, tile(plain, []), two(0 - 3, tile(plain, []), two(0 - 1, tile(plain, []), two(0 - 0, tile(plain, []), empty, empty), two(0 - 2, tile(plain, []), empty, empty)), two(0 - 5, tile(plain, []), two(0 - 4, tile(plain, []), empty, empty), two(0 - 6, tile(plain, []), empty, empty))), two(1 - 1, tile(plain, []), two(0 - 9, tile(plain, []), two(0 - 8, tile(plain, []), empty, empty), two(1 - 0, tile(plain, []), empty, empty)), two(1 - 3, tile(plain, []), two(1 - 2, tile(plain, []), empty, empty), two(1 - 4, tile(plain, []), empty, empty)))), two(2 - 3, tile(plain, []), two(1 - 9, tile(plain, []), two(1 - 7, tile(plain, []), two(1 - 6, tile(plain, []), empty, empty), two(1 - 8, tile(plain, []), empty, empty)), two(2 - 1, tile(plain, []), two(2 - 0, tile(plain, []), empty, empty), two(2 - 2, tile(plain, []), em!
 pty, empty))), two(2 - 7, tile(plain, []), two(2 - 5, tile(plain, []), two(2 - 4, tile(plain, []), empty, empty), two(2 - 6, tile(plain, []), empty, empty)), two(2 - 9, tile(plain, []), two(2 - 8, tile(plain, []), empty, empty), two(3 - 0, tile(plain, []), empty, empty))))), two(4 - 7, tile(plain, []), two(3 - 9, tile(plain, []), two(3 - 5, tile(plain, []), two(3 - 3, tile(plain, []), two(3 - 2, tile(plain, []), empty, empty), two(3 - 4, tile(plain, []), empty, empty)), two(3 - 7, tile(plain, []), two(3 - 6, tile(plain, []), empty, empty), two(3 - 8, tile(plain, []), empty, empty))), two(4 - 3, tile(plain, []), two(4 - 1, tile(plain, []), two(4 - 0, tile(plain, []), empty, empty), two(4 - 2, tile(plain, []), empty, empty)), two(4 - 5, tile(plain, []), two(4 - 4, tile(plain, []), empty, empty), two(4 - 6, tile(plain, []), empty, empty)))), two(5 - 5, tile(plain, []), two(5 - 1, tile(plain, []), two(4 - 9, tile(plain, []), two(4 - 8, tile(plain, []), empty, empty), two(5 - 0,!
  tile(plain, []), empty, empty)), two(5 - 3, tile(plain, []), !
 two(5 - 
2, tile(plain, []), empty, empty), two(5 - 4, tile(plain, []), empty, empty))), two(5 - 9, tile(plain, []), two(5 - 7, tile(plain, []), two(5 - 6, tile(plain, []), empty, empty), two(5 - 8, tile(plain, []), empty, empty)), two(6 - 1, tile(plain, []), two(6 - 0, tile(plain, []), empty, empty), two(6 - 2, tile(plain, []), empty, empty))))), two(7 - 9, tile(plain, []), two(7 - 1, tile(plain, []), two(6 - 7, tile(plain, []), two(6 - 5, tile(plain, []), two(6 - 4, tile(plain, []), empty, empty), two(6 - 6, tile(plain, []), empty, empty)), two(6 - 9, tile(plain, []), two(6 - 8, tile(plain, []), empty, empty), two(7 - 0, tile(plain, []), empty, empty))), two(7 - 5, tile(plain, []), two(7 - 3, tile(plain, []), two(7 - 2, tile(plain, []), empty, empty), two(7 - 4, tile(plain, []), empty, empty)), two(7 - 7, tile(plain, []), two(7 - 6, tile(plain, []), empty, empty), two(7 - 8, tile(plain, []), empty, empty)))), two(8 - 7, tile(plain, []), two(8 - 3, tile(plain, []), two(8 - 1, tile(p!
 lain, []), two(8 - 0, tile(plain, []), empty, empty), two(8 - 2, tile(plain, []), empty, empty)), two(8 - 5, tile(plain, []), two(8 - 4, tile(plain, []), empty, empty), two(8 - 6, tile(plain, []), empty, empty))), two(9 - 1, tile(plain, []), two(8 - 9, tile(plain, []), two(8 - 8, tile(plain, []), empty, empty), two(9 - 0, tile(plain, []), empty, empty)), four(9 - 3, tile(plain, []), 9 - 5, tile(plain, []), 9 - 7, tile(plain, []), two(9 - 2, tile(plain, []), empty, empty), two(9 - 4, tile(plain, []), empty, empty), two(9 - 6, tile(plain, []), empty, empty), three(9 - 8, tile(plain, []), 9 - 9, tile(plain, []), empty, empty, empty))))))), empty, empty, empty, empty)
cvs diff: Diffing exceptions
cvs diff: Diffing purity
cvs diff: Diffing sub-modules
cvs diff: Diffing typeclasses

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