diff options
author | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
commit | 56d2835d35093e2d92c5e8a4371aa322b55e037b (patch) | |
tree | 1c7949355baeae92e2f6e02f9104739ddb10ff73 /stdlib/source/library/lux/target/jvm/bytecode | |
parent | f2172051a91bbb2578918dc784a053a321849b63 (diff) |
Extensible import syntax [Part 6]
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/bytecode')
-rw-r--r-- | stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux | 2 | ||||
-rw-r--r-- | stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux index 05772986f..a1c60d8d2 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux @@ -9,7 +9,7 @@ [data ["[0]" product] ["[0]" format - ["[1]" binary (.only Writer) ("[1]#[0]" monoid)]]] + ["[1]" binary (.only Writer) (.open: "[1]#[0]" monoid)]]] [math [number ["n" nat]]]]] diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux index 950735dbb..b8ae7a3c3 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux @@ -4,12 +4,12 @@ [abstract ["[0]" equivalence (.only Equivalence)]] [control - ["[0]" try (.only Try) ("[1]#[0]" functor)]] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]] [data [format [binary (.only Writer)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [math [number ["n" nat]]] |