diff options
author | Eduardo Julian | 2022-06-29 02:28:21 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-29 02:28:21 -0400 |
commit | 5232f0701cd95f260005a65d220a361dd71b6b96 (patch) | |
tree | 27679c20de827b070871b0febf3826e7e9b611ea /stdlib/source/specification | |
parent | 29bbd8a2cd4deb9038f01c16d54ffa937917cfaa (diff) |
Better syntax for calling virtual methods when defining JVM classes.
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r-- | stdlib/source/specification/lux/world/file.lux | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index 8e938dcfe..607e7e2f6 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -3,15 +3,16 @@ [lux (.except) ["_" test (.only Test)] [abstract - [monad (.only do)] - ["[0]" predicate]] + [monad (.only do)]] [control [io (.only IO)] ["[0]" maybe (.use "[1]#[0]" functor)] ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception] [concurrency - ["[0]" async (.only Async)]]] + ["[0]" async (.only Async)]] + [function + ["[0]" predicate]]] [data ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)] |