Commit 76e002b6 authored by Michael Hanus's avatar Michael Hanus
Browse files

Prelude.& added to binding optimization

parent 19cdf18a
......@@ -373,6 +373,7 @@ preludeBoolReqValues =
[(pre "&&", AFType [([Any,Any],aFalse), ([aTrue,aTrue],aTrue)])
,(pre "not", AFType [([aTrue],aFalse), ([aFalse],aTrue)])
,(pre "||", AFType [([aFalse,aFalse],aFalse), ([Any,Any],aTrue)])
,(pre "&", AFType [([aTrue,aTrue],aTrue)])
,(pre "solve", AFType [([aTrue],aTrue)])
,(pre "&&>", AFType [([aTrue,Any],AnyC)])
]
......
......@@ -5,7 +5,7 @@ main2
4001
Loading program "Grep"...
main
success
True
Loading program "Half"...
main
50
......
Supports Markdown
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