From 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 12 Sep 2021 15:39:55 -0400 Subject: Re-named \ => # && \\ => ## --- stdlib/source/test/lux/control/pipe.lux | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'stdlib/source/test/lux/control/pipe.lux') diff --git a/stdlib/source/test/lux/control/pipe.lux b/stdlib/source/test/lux/control/pipe.lux index f71dae655..11f95f63c 100644 --- a/stdlib/source/test/lux/control/pipe.lux +++ b/stdlib/source/test/lux/control/pipe.lux @@ -7,7 +7,7 @@ [monad {"+" [do]}]] [data ["[0]" identity] - ["[0]" text ("[1]\[0]" equivalence) + ["[0]" text ("[1]#[0]" equivalence) ["%" format {"+" [format]}]]] [math ["[0]" random] @@ -35,7 +35,7 @@ (|> sample (/.let> x [(n.+ x x)])))) (_.cover [/.cond>] - (text\= (cond (n.= 0 sample) "zero" + (text#= (cond (n.= 0 sample) "zero" (n.even? sample) "even" "odd") (|> sample @@ -43,7 +43,7 @@ [n.even?] [(/.new> "even" [])] [(/.new> "odd" [])])))) (_.cover [/.if>] - (text\= (if (n.even? sample) + (text#= (if (n.even? sample) "even" "odd") (|> sample @@ -81,9 +81,9 @@ [%.nat]))] (and (n.= (++ sample) left) (n.= (-- sample) middle) - (text\= (%.nat sample) right)))) + (text#= (%.nat sample) right)))) (_.cover [/.case>] - (text\= (case (n.% 10 sample) + (text#= (case (n.% 10 sample) 0 "zero" 1 "one" 2 "two" -- cgit v1.2.3