Commit 87a3a2fd authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Updated test Prelude to current version

parent 5686d764
......@@ -580,7 +580,7 @@ negateFloat :: Float -> Float
negateFloat external
-- Constraints (included for backwar compatibility)
-- Constraints (included for backward compatibility)
type Success = Bool
--- The always satisfiable constraint.
......@@ -821,6 +821,9 @@ when p act = if p then act else done
x ? _ = x
_ ? y = y
-- Returns non-deterministically any element of a list.
anyOf :: [a] -> a
anyOf = foldr1 (?)
--- Evaluates to a fresh free variable.
unknown :: _
......
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