From ee3240679a7c1c4d216b35e1d2db1544e5c16863 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 12 Feb 2021 02:19:43 -0400 Subject: More Lua + optimizations. --- stdlib/source/test/lux/host.lua.lux | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 stdlib/source/test/lux/host.lua.lux (limited to 'stdlib/source/test') 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)))) -- cgit v1.2.3