Verified Commit 05e78062 authored by Camil Staps's avatar Camil Staps 🚀

Also add check calls to namePath

parent 1131ac40
......@@ -158,9 +158,10 @@ ForEach list f = Prop ("ForEach " +++ thunk_name_to_string list +++ " " +++ thun
(For) p list = ForEach list p
check :: !(a b -> Bool) !a !b -> Property | genShow{|*|}, JSONEncode{|*|} a & genShow{|*|}, JSONEncode{|*|} b
check op x y = Prop ("check " +++ thunk_name_to_string op) (affirm op (Other relName) x y)
check op x y = Prop name (\gs a -> affirm op (Other relName) x y gs {a & namePath=[name:a.namePath]})
where
relName = concat [thunk_name_to_string op, "{", thunk_to_module_name_string op, "}"]
name = thunk_name_to_string op
relName = concat [name, "{", thunk_to_module_name_string op, "}"]
(=.=) infix 4 :: !a !a -> Property | Eq, genShow{|*|}, JSONEncode{|*|} a
(=.=) x y = Prop "=.=" (affirm (==) Eq x y)
......
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