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

Avoid overloading by adding type annotations

parent 0848bdb2
......@@ -62,5 +62,5 @@ main65 x y =
compileUF =
compileCHR "UFCHR" "UnionFind" [makeI,unionI,findNode,findRoot,linkEq,linkTo]
-- solveCHR $ andC [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]
-- solveCHR $ andC [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]
--> x=1, y=5
......@@ -59,7 +59,7 @@ main64 x y where x,y free
main65 x y where x,y free
compileUF
: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
:load Primes
main70
......
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