aboutsummaryrefslogtreecommitdiff
path: root/licentia/source
diff options
context:
space:
mode:
Diffstat (limited to 'licentia/source')
-rw-r--r--licentia/source/program/licentia.lux14
1 files changed, 7 insertions, 7 deletions
diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux
index c4652b12d..d3218ec64 100644
--- a/licentia/source/program/licentia.lux
+++ b/licentia/source/program/licentia.lux
@@ -15,7 +15,6 @@
[library
[lux (.except)
[ffi (.only import)]
- [program (.only program:)]
["[0]" debug]
[abstract
[monad (.only do)]]
@@ -24,8 +23,7 @@
["[0]" io (.only IO) (.use "[1]#[0]" monad)]
["[0]" maybe]
["[0]" try (.only Try)]
- ["[0]" parser
- ["<[0]>" cli]]
+ ["[0]" parser]
[security
["!" capability]]]
[data
@@ -36,6 +34,8 @@
[format
["[0]" json (.only)
["<[1]>" \\parser (.only Parser)]]]]
+ ["[0]" program (.only program:)
+ ["<[1]>" \\parser]]
[world
["[0]" file]]]]
["[0]" /
@@ -57,11 +57,11 @@
(format "Your license has been made!" text.new_line
"Check the file " output "."))
-(program: [input (<| (<cli>.named "--input")
- <cli>.any)
+(program: [input (<| (<program>.named "--input")
+ <program>.any)
output (<| (parser.default ..default_output_file)
- (<cli>.named "--output")
- <cli>.any)]
+ (<program>.named "--output")
+ <program>.any)]
(do io.monad
[?done (is (IO (Try Any))
(do (try.with io.monad)