diff options
| author | Eduardo Julian | 2019-02-03 02:17:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-02-03 02:17:42 -0400 |
| commit | 0f06e0a5775a3588b7b6f35e975d39b2724a6f65 (patch) | |
| tree | 912b4e9b4a2fe8ece19b9482d96afec3de01d437 /stdlib/test | |
| parent | 2607c95980e87f5f270e1fe6eaf7a7b3311ca138 (diff) | |
Added "forge" and "use" functions for working with capabilities.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/test/test/lux/host/jvm.jvm.lux | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/stdlib/test/test/lux/host/jvm.jvm.lux b/stdlib/test/test/lux/host/jvm.jvm.lux index 2f5142e80..70a8c3da5 100644 --- a/stdlib/test/test/lux/host/jvm.jvm.lux +++ b/stdlib/test/test/lux/host/jvm.jvm.lux @@ -3,7 +3,9 @@ [control [monad (#+ do)] [concurrency - ["." atom]]] + ["." atom]] + [security + ["!" capability]]] [data ["." error (#+ Error)] ["." text @@ -38,7 +40,7 @@ [outcome (do (error.ErrorT @) [file (: (IO (Error (File IO))) (file.get-file io.Monad<IO> file.System<IO> file-path))] - (:: file over-write bytecode))] + (!.use (:: file over-write) bytecode))] (wrap (case outcome (#error.Success definition) (format "Wrote: " (%t file-path)) |