aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/debug.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/debug.lux14
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux
index a7741082a..9089e080f 100644
--- a/stdlib/source/test/lux/debug.lux
+++ b/stdlib/source/test/lux/debug.lux
@@ -58,7 +58,7 @@
(in (`` (and (~~ (template [<type> <format> <sample>]
[(|> (/.representation <type> <sample>)
(try\map (text\= (<format> <sample>)))
- (try.default false))]
+ (try.else false))]
[Bit %.bit sample_bit]
[Nat %.nat sample_nat]
@@ -93,7 +93,7 @@
## (try\map (text\= (format "(" (%.nat <lefts>)
## " " (%.bit <right?>)
## " " (<format> <value>) ")")))
- ## (try.default false))]
+ ## (try.else false))]
## [0 #0 sample_bit %.bit]
## [1 #0 sample_int %.int]
@@ -114,7 +114,7 @@
(in (`` (and (~~ (template [<type> <format> <sample>]
[(|> (/.representation <type> <sample>)
(try\map (text\= (<format> <sample>)))
- (try.default false))]
+ (try.else false))]
[Ratio %.ratio sample_ratio]
[Name %.name sample_name]
@@ -137,7 +137,7 @@
(in (`` (and (~~ (template [<type> <format> <sample>]
[(|> (/.representation <type> <sample>)
(try\map (text\= (<format> <sample>)))
- (try.default false))]
+ (try.else false))]
[Instant %.instant sample_instant]
[Duration %.duration sample_duration]
@@ -168,14 +168,14 @@
(|> (/.representation .Any sample_frac)
(try\map (text\= "[]"))
- (try.default false))
+ (try.else false))
(|> (/.representation (type (List Nat)) (: (List Nat) (list sample_nat)))
(try\map (text\= (%.list %.nat (list sample_nat))))
- (try.default false))
+ (try.else false))
(~~ (template [<sample>]
[(|> (/.representation (type (Maybe Nat)) (: (Maybe Nat) <sample>))
(try\map (text\= (%.maybe %.nat <sample>)))
- (try.default false))]
+ (try.else false))]
[(#.Some sample_nat)]
[#.None]