From 168c783c2aa203316846e4f86de30f0735e51917 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 22 Dec 2016 00:36:51 -0400 Subject: - Updated tests for lux/cli and lux/math/ratio. --- stdlib/test/test/lux/cli.lux | 8 +++++--- stdlib/test/test/lux/math/ratio.lux | 1 - 2 files changed, 5 insertions(+), 4 deletions(-) (limited to 'stdlib/test') diff --git a/stdlib/test/test/lux/cli.lux b/stdlib/test/test/lux/cli.lux index cecc2306f..31f119828 100644 --- a/stdlib/test/test/lux/cli.lux +++ b/stdlib/test/test/lux/cli.lux @@ -20,7 +20,7 @@ lux/test) (test: "CLI" - [num-args (:: @ map (n.% +10) R;nat) + [num-args (|> R;nat (:: @ map (n.% +10))) #let [(^open "Nat/") number;Codec gen-arg (:: @ map Nat/encode R;nat)] option-name (R;text +5) @@ -92,7 +92,9 @@ (assert "Can query if there are any more inputs." (and (|> (&;run &;end args) - (case> (#;Right []) (n.= +0 num-args) _ false)) + (case> (#;Right []) (n.= +0 num-args) + _ (n.> +0 num-args))) (|> (&;run (&;not &;end) args) - (case> (#;Right []) (not (n.= +0 num-args)) _ false)))) + (case> (#;Right []) (n.> +0 num-args) + _ (n.= +0 num-args))))) )) diff --git a/stdlib/test/test/lux/math/ratio.lux b/stdlib/test/test/lux/math/ratio.lux index 6bea37e0c..55e6fe920 100644 --- a/stdlib/test/test/lux/math/ratio.lux +++ b/stdlib/test/test/lux/math/ratio.lux @@ -101,7 +101,6 @@ )) (test: "Codec" - #seed +1482192000042 [sample gen-ratio #let [(^open "&/") &;Codec]] (assert "Can encode/decode ratios." -- cgit v1.2.3