diff options
author | Eduardo Julian | 2021-02-12 02:19:43 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-02-12 02:19:43 -0400 |
commit | ee3240679a7c1c4d216b35e1d2db1544e5c16863 (patch) | |
tree | c0f03fe917c77ce5c6413782ba116006bc84ea7c /stdlib/source/test/lux | |
parent | a5e2f99430384fff580646a553b1e8ae27e07acd (diff) |
More Lua + optimizations.
Diffstat (limited to 'stdlib/source/test/lux')
-rw-r--r-- | stdlib/source/test/lux/host.lua.lux | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/stdlib/source/test/lux/host.lua.lux b/stdlib/source/test/lux/host.lua.lux new file mode 100644 index 000000000..0b6cac81b --- /dev/null +++ b/stdlib/source/test/lux/host.lua.lux @@ -0,0 +1,24 @@ +(.module: + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try]] + [data + ["." text ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["." nat] + ["." frac]]]] + {1 + ["." /]}) + +(def: #export test + Test + (do {! random.monad} + [] + (<| (_.covering /._) + (_.test "TBD" + true)))) |