diff options
author | Eduardo Julian | 2022-11-21 16:40:51 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-11-21 16:40:51 -0400 |
commit | 224797231a8144f6ead1baab3b4b01a74cab629c (patch) | |
tree | 294aaadc4cc8dce8e40041aa318fa84de080002e /stdlib/source/test/lux.lux | |
parent | df0e015145981602b3f97113bcfa586b4f6d0757 (diff) |
Added index section to documentation + re-named Primitive -> Nominal
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 29e2725cf..f009922e8 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -587,9 +587,9 @@ (same? expected))) (_.coverage [/.type_of] (same? /.Nat (/.type_of expected))) - (_.coverage [/.Primitive] - (when (/.Primitive "foo" [expected/0 expected/1]) - {.#Primitive "foo" (list actual/0 actual/1)} + (_.coverage [/.Nominal] + (when (/.Nominal "foo" [expected/0 expected/1]) + {.#Nominal "foo" (list actual/0 actual/1)} (and (same? expected/0 actual/0) (same? expected/1 actual/1)) |