diff options
| author | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
| commit | f621a133e6e0a516c0586270fea8eaffb4829d82 (patch) | |
| tree | 399396ee2f6a10df10cea9b78c51c76679b70e59 /stdlib/source/library/lux/target/jvm/bytecode/jump.lux | |
| parent | 17e7566be51df5e428a6b10e6469201a8a9468da (diff) | |
No more #export magic syntax.
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/bytecode/jump.lux')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/bytecode/jump.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/jump.lux b/stdlib/source/library/lux/target/jvm/bytecode/jump.lux index 2873ef781..53fdd6081 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/jump.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/jump.lux @@ -10,18 +10,18 @@ [encoding ["#." signed (#+ S2 S4)]]]) -(type: #export Jump S2) +(type: .public Jump S2) -(def: #export equivalence +(def: .public equivalence (Equivalence Jump) ///signed.equivalence) -(def: #export writer +(def: .public writer (Writer Jump) ///signed.writer/2) -(type: #export Big_Jump S4) +(type: .public Big_Jump S4) -(def: #export lift +(def: .public lift (-> Jump Big_Jump) ///signed.lift/4) |