diff options
| author | Eduardo Julian | 2023-02-12 02:54:39 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2023-02-12 02:54:39 -0400 |
| commit | 049dcdc0c6dc678786dbf854a20385fb6ef06f9a (patch) | |
| tree | 65188f9d0858116d20051930705aa73b66d2aaa5 /stdlib/source/test/lux.lux | |
| parent | 6c4c9a8c10950e3244f15451fe18fb768abee924 (diff) | |
Added an abstraction for interest rates.
Diffstat (limited to 'stdlib/source/test/lux.lux')
| -rw-r--r-- | stdlib/source/test/lux.lux | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 64ac888ac..5597bded0 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -599,35 +599,6 @@ _ false)) - (_.coverage [/.type_literal] - (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) - (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) - (when (/.type_literal (-> expected/0 expected/1)) - {.#Function actual/0 actual/1} - (and (same? expected/0 actual/0) - (same? expected/1 actual/1)) - - _ - false) - (when (/.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] (exec (is /.Type ..for_type/variant) |