diff options
| author | Eduardo Julian | 2022-08-17 02:54:41 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-08-17 02:54:41 -0400 |
| commit | 261172e7a4cff7b9978eec4c0d32e963cbe7486e (patch) | |
| tree | bf3c79319eef3bda7e1efe6612e3d6ea546e1e85 /stdlib/source/test/lux/abstract/monad.lux | |
| parent | 0f9bc13a34b729d9ae9db31276feb2a66785d06b (diff) | |
Proper testing for debug.log!
Diffstat (limited to 'stdlib/source/test/lux/abstract/monad.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/monad.lux | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index 67f039fd6..f0ff7096c 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -12,7 +12,10 @@ [test ["_" property (.only Test)]]]] [\\library - ["[0]" / (.only Monad do)]]) + ["[0]" / (.only Monad do)]] + ["[0]" / + ["[1][0]" free] + ["[1][0]" indexed]]) (def .public test Test @@ -62,4 +65,7 @@ (n.+ part whole))) 0) (is (Identity Nat))))) + + /free.test + /indexed.test )))) |