Commit d3c28ebe authored by Michael Hanus 's avatar Michael Hanus
Browse files

Fix test output

parent e5cba2ad
......@@ -72,7 +72,7 @@ main65 x y where x,y free
compileUF
Curry interface to CHR(Prolog) written to UFCHR.curry
:load UFCHR
solveCHR $ andCHR [make 1, make 2, make 3, make 4, make 5, union 1 2, union 3 4, union 5 3, find 2 x, find 4 y] where x,y free
solveCHR $ andCHR [make (1::Int), make 2, make 3, make 4, make 5, union 1 2, union 3 4, union 5 3, find 2 x, find 4 y] where x,y free
{x=1, y=5} True
:load Primes
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment