diff options
author | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-25 20:24:43 -0400 |
commit | fb46beb8bd784ba92949bf2c535dc13c2f003ef0 (patch) | |
tree | 28dbec5e8e6a1307a5aee28772d9aa897349bc57 /stdlib/source/test/lux.lux | |
parent | a384e0c9426d6110fa4c104a1327808a0aff91b0 (diff) |
De-sigil-ification: suffix : [Part 15]
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux.lux | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 14bb1ec55..35ba915da 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -185,7 +185,7 @@ false)) ))) -(type: (Returner a) +(type (Returner a) (/.Interface (is (-> Any a) return))) @@ -508,18 +508,18 @@ )))))) )))))) -(/.type: for_type/variant +(/.type for_type/variant (Variant {#Case/0} {#Case/1 Nat} {#Case/2 Int Text})) -(/.type: for_type/record +(/.type for_type/record (Record [#slot/0 Bit #slot/1 Rev])) -(/.type: (for_type/all parameter) +(/.type (for_type/all parameter) [parameter parameter]) (def for_type @@ -560,36 +560,36 @@ _ false)) - (_.coverage [/.type] - (and (case (/.type [expected/0 expected/1]) + (_.coverage [/.type_literal] + (and (case (/.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 (/.Or expected/0 expected/1)) + (case (/.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 (-> expected/0 expected/1)) + (case (/.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 (expected/0 expected/1)) + (case (/.type_literal (expected/0 expected/1)) {.#Apply actual/1 actual/0} (and (same? expected/0 actual/0) (same? expected/1 actual/1)) _ false))) - (_.coverage [/.type:] + (_.coverage [/.type] (exec (is /.Type ..for_type/variant) (is /.Type ..for_type/record) @@ -694,12 +694,12 @@ (text#= static_char))) ))) -(type: Small +(type Small (Record [#small_left Nat #small_right Text])) -(type: Big +(type Big (Record [#big_left Nat #big_right Small])) @@ -932,7 +932,7 @@ false))) ))) -(type: (Pair l r) +(type (Pair l r) (Record [#left l #right r])) |