aboutsummaryrefslogtreecommitdiff
path: root/licentia
diff options
context:
space:
mode:
authorEduardo Julian2022-03-14 17:03:38 -0400
committerEduardo Julian2022-03-14 17:03:38 -0400
commit62299ecdc93b39f6a22b1f89779f55dfa735fb3c (patch)
tree5456440c78bbdb1cd51e9156a7cd47ebf73b7edd /licentia
parent792f88d0640831f426728b41d62d94fdcc4959d3 (diff)
Made JVM "import:" syntax consistent with the other "import:"s.
Diffstat (limited to 'licentia')
-rw-r--r--licentia/source/program/licentia.lux62
1 files changed, 31 insertions, 31 deletions
diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux
index e8b4f2bae..74d072067 100644
--- a/licentia/source/program/licentia.lux
+++ b/licentia/source/program/licentia.lux
@@ -12,42 +12,42 @@
... Eclipse Public License v2.0: https://www.eclipse.org/legal/epl-2.0/
(.using
- [library
- [lux "*"
- [ffi {"+" import:}]
- [program {"+" program:}]
- ["[0]" debug]
- [abstract
- [monad {"+" do}]]
- [control
- [remember {"+" to_do}]
- ["[0]" io {"+" IO} ("[1]#[0]" monad)]
- ["[0]" maybe]
- ["[0]" try {"+" Try}]
- ["[0]" parser
- ["<[0]>" cli]
- ["<[0]>" json]]
- [security
- ["!" capability]]]
- [data
- ["[0]" text
- ["%" format {"+" format}]
- [encoding
- ["[0]" utf8]]]
- [format
- ["[0]" json]]]
- [world
- ["[0]" file]]]]
- ["[0]" / "_"
- ["[1][0]" input]
- ["[1][0]" output]])
+ [library
+ [lux "*"
+ [ffi {"+" import:}]
+ [program {"+" program:}]
+ ["[0]" debug]
+ [abstract
+ [monad {"+" do}]]
+ [control
+ [remember {"+" to_do}]
+ ["[0]" io {"+" IO} ("[1]#[0]" monad)]
+ ["[0]" maybe]
+ ["[0]" try {"+" Try}]
+ ["[0]" parser
+ ["<[0]>" cli]
+ ["<[0]>" json]]
+ [security
+ ["!" capability]]]
+ [data
+ ["[0]" text
+ ["%" format {"+" format}]
+ [encoding
+ ["[0]" utf8]]]
+ [format
+ ["[0]" json]]]
+ [world
+ ["[0]" file]]]]
+ ["[0]" / "_"
+ ["[1][0]" input]
+ ["[1][0]" output]])
(with_expansions [<expiry> "2022-04-01"]
(to_do <expiry> "Create a short notice to add as a comment to each file in the _.work"))
(import: java/lang/String
- ["[1]::[0]"
- (trim [] java/lang/String)])
+ "[1]::[0]"
+ (trim [] java/lang/String))
(def: default_output_file
"LICENSE.txt")