From 065e8a4d8122d4616b570496915d2c0e2c78cd6b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 11 Aug 2022 04:15:07 -0400
Subject: Re-named the "case" macro to "when".
---
stdlib/source/test/lux.lux | 60 +++++++++++++++++++++++-----------------------
1 file changed, 30 insertions(+), 30 deletions(-)
(limited to 'stdlib/source/test/lux.lux')
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 4d7a695e8..53d699818 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -129,21 +129,21 @@
expected random.nat]
(all _.and
(_.coverage [/.try]
- (case (/.try expected)
+ (when (/.try expected)
{.#Left _}
false
{.#Right actual}
(n.= expected actual)))
(_.coverage [/.undefined]
- (case (/.try (/.undefined))
+ (when (/.try (/.undefined))
{.#Left _}
true
{.#Right _}
false))
(_.coverage [/.panic!]
- (case (/.try (/.panic! expected_error))
+ (when (/.try (/.panic! expected_error))
{.#Left actual_error}
(text.contains? expected_error actual_error)
@@ -160,7 +160,7 @@
e/3 random.nat]
(all _.and
(_.coverage [/.list]
- (case (/.list e/0 e/1)
+ (when (/.list e/0 e/1)
(/.list a/0 a/1)
(and (n.= e/0 a/0)
(n.= e/1 a/1))
@@ -411,7 +411,7 @@
... (let [scenario (is (-> Any Bit)
... (function (_ _)
... ... TODO: Remove this hack once Jython is no longer being used as the Python interpreter.
- ... (`` (for @.python (case (' ['])
+ ... (`` (for @.python (when (' ['])
... (^.` [
... ("lux def" (, [_ {.#Symbol ["" _]}]) [] #0)
... (,, (template.spliced ))])
@@ -419,7 +419,7 @@
... _
... false)
- ... (case (' ['])
+ ... (when (' ['])
... (^.` [ (,, (template.spliced ))])
... true
@@ -537,7 +537,7 @@
(_.coverage [/.type_of]
(same? /.Nat (/.type_of expected)))
(_.coverage [/.Primitive]
- (case (/.Primitive "foo" [expected/0 expected/1])
+ (when (/.Primitive "foo" [expected/0 expected/1])
{.#Primitive "foo" (list actual/0 actual/1)}
(and (same? expected/0 actual/0)
(same? expected/1 actual/1))
@@ -545,28 +545,28 @@
_
false))
(_.coverage [/.type_literal]
- (and (case (/.type_literal [expected/0 expected/1])
+ (and (when (/.type_literal [expected/0 expected/1])
{.#Product actual/0 actual/1}
(and (same? expected/0 actual/0)
(same? expected/1 actual/1))
_
false)
- (case (/.type_literal (/.Or expected/0 expected/1))
+ (when (/.type_literal (/.Or expected/0 expected/1))
{.#Sum actual/0 actual/1}
(and (same? expected/0 actual/0)
(same? expected/1 actual/1))
_
false)
- (case (/.type_literal (-> expected/0 expected/1))
+ (when (/.type_literal (-> expected/0 expected/1))
{.#Function actual/0 actual/1}
(and (same? expected/0 actual/0)
(same? expected/1 actual/1))
_
false)
- (case (/.type_literal (expected/0 expected/1))
+ (when (/.type_literal (expected/0 expected/1))
{.#Apply actual/1 actual/0}
(and (same? expected/0 actual/0)
(same? expected/1 actual/1))
@@ -668,7 +668,7 @@
(in option/1))]
(all _.and
(_.coverage [/.static]
- (case sample
+ (when sample
(/.static option/0) true
(/.static option/1) true
_ false))
@@ -906,7 +906,7 @@
{.#Some [item/1
{.#Some [item/2
{.#None}]}]}]})]
- (case list
+ (when list
{.#Some [actual/0 {.#Some [actual/1 {.#Some [actual/2 {.#None}]}]}]}
(and (same? item/0 actual/0)
(same? item/1 actual/1)
@@ -926,7 +926,7 @@
[[..#left
..#right ]]))
-(def for_case
+(def for_when
Test
(do [! random.monad]
[expected_nat (at ! each (n.% 1) random.nat)
@@ -938,40 +938,40 @@
expected_text (random.either (in "+0.5")
(in "+1.25"))]
(all _.and
- (_.coverage [/.case]
- (and (/.case expected_nat
+ (_.coverage [/.when]
+ (and (/.when expected_nat
0 true
_ false)
- (/.case expected_int
+ (/.when expected_int
+0 true
_ false)
- (/.case expected_rev
+ (/.when expected_rev
.5 true
.25 true
_ false)
- (/.case expected_frac
+ (/.when expected_frac
+0.5 true
+1.25 true
_ false)
- (/.case expected_text
+ (/.when expected_text
"+0.5" true
"+1.25" true
_ false)
- (/.case [expected_nat expected_int]
+ (/.when [expected_nat expected_int]
[0 +0] true
_ false)
- (/.case [..#left expected_nat ..#right expected_int]
+ (/.when [..#left expected_nat ..#right expected_int]
[..#left 0 ..#right +0] true
_ false)
- (/.case (is (Either Nat Int) {.#Left expected_nat})
+ (/.when (is (Either Nat Int) {.#Left expected_nat})
{.#Left 0} true
_ false)
- (/.case (is (Either Nat Int) {.#Right expected_int})
+ (/.when (is (Either Nat Int) {.#Right expected_int})
{.#Right +0} true
_ false)
))
... (_.coverage [/.pattern]
- ... (/.case [..#left expected_nat ..#right expected_int]
+ ... (/.when [..#left expected_nat ..#right expected_int]
... (!pair 0 +0)
... true
@@ -1046,7 +1046,7 @@
(set.member? ..possible_targets (the .#target info))
compiling!
- (case (the .#mode info)
+ (when (the .#mode info)
{.#Build} true
_ false)]
{.#Right [lux (list (code.bit (and conforming_target!
@@ -1056,7 +1056,7 @@
(syntax (_ [])
(do meta.monad
[prelude (meta.module .prelude)]
- (in (list (code.bit (case (the .#module_state prelude)
+ (in (list (code.bit (when (the .#module_state prelude)
{.#Active} false
_ true)))))))
@@ -1095,7 +1095,7 @@
let/2 .local
let/3 .local])
- (in (list (code.bit (case (the .#scopes lux_state)
+ (in (list (code.bit (when (the .#scopes lux_state)
(list.partial scope/2 _)
(let [locals/2 (the .#locals scope/2)
expected_locals/2 (set.of_list text.hash (list fn/2 var/2 let/2
@@ -1114,7 +1114,7 @@
local? (is (-> Ref Bit)
(function (_ ref)
- (case ref
+ (when ref
{.#Local _} true
{.#Captured _} false)))
captured? (is (-> Ref Bit)
@@ -1181,7 +1181,7 @@
..for_associative
..for_expansion
..for_value
- ..for_case
+ ..for_when
..for_control_flow
..for_def
..for_meta
--
cgit v1.2.3