diff options
Diffstat (limited to 'licentia/source')
22 files changed, 34 insertions, 34 deletions
diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux index d736a5fa7..c4652b12d 100644 --- a/licentia/source/program/licentia.lux +++ b/licentia/source/program/licentia.lux @@ -11,7 +11,7 @@ ... Common Public Attribution License Version 1.0 (CPAL-1.0): https://opensource.org/licenses/CPAL-1.0 ... Eclipse Public License v2.0: https://www.eclipse.org/legal/epl-2.0/ -(.using +(.require [library [lux (.except) [ffi (.only import)] @@ -21,7 +21,7 @@ [monad (.only do)]] [control [remember (.only to_do)] - ["[0]" io (.only IO) (.open: "[1]#[0]" monad)] + ["[0]" io (.only IO) (.use "[1]#[0]" monad)] ["[0]" maybe] ["[0]" try (.only Try)] ["[0]" parser diff --git a/licentia/source/program/licentia/document.lux b/licentia/source/program/licentia/document.lux index eb35929f4..9272cbf6a 100644 --- a/licentia/source/program/licentia/document.lux +++ b/licentia/source/program/licentia/document.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except or and) [data ["[0]" text ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]]]]) + ["[0]" list (.use "[1]#[0]" functor)]]]]]) (def .public (quote text) (-> Text Text) diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux index aa63f81d7..11af6acf6 100644 --- a/licentia/source/program/licentia/input.lux +++ b/licentia/source/program/licentia/input.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract diff --git a/licentia/source/program/licentia/license.lux b/licentia/source/program/licentia/license.lux index a5633e0e3..b9280bd5f 100644 --- a/licentia/source/program/licentia/license.lux +++ b/licentia/source/program/licentia/license.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except)]] ["[0]" / diff --git a/licentia/source/program/licentia/license/addendum.lux b/licentia/source/program/licentia/license/addendum.lux index ff3154c43..fb8be25b6 100644 --- a/licentia/source/program/licentia/license/addendum.lux +++ b/licentia/source/program/licentia/license/addendum.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [data diff --git a/licentia/source/program/licentia/license/assurance.lux b/licentia/source/program/licentia/license/assurance.lux index 71d28d670..5a8f87173 100644 --- a/licentia/source/program/licentia/license/assurance.lux +++ b/licentia/source/program/licentia/license/assurance.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [data diff --git a/licentia/source/program/licentia/license/black_list.lux b/licentia/source/program/licentia/license/black_list.lux index 2c579ce2f..e87041365 100644 --- a/licentia/source/program/licentia/license/black_list.lux +++ b/licentia/source/program/licentia/license/black_list.lux @@ -1,13 +1,13 @@ -(.using +(.require [library [lux (.except) [control - ["[0]" maybe (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)]] [data ["[0]" text ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]]]] + ["[0]" list (.use "[1]#[0]" functor)]]]]] ["[0]" // (.only Entity Black_List) ["_" term] [// diff --git a/licentia/source/program/licentia/license/commercial.lux b/licentia/source/program/licentia/license/commercial.lux index aeab29d02..93fceef46 100644 --- a/licentia/source/program/licentia/license/commercial.lux +++ b/licentia/source/program/licentia/license/commercial.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [data diff --git a/licentia/source/program/licentia/license/copyright.lux b/licentia/source/program/licentia/license/copyright.lux index 6e4bfab07..b3bbcfa9b 100644 --- a/licentia/source/program/licentia/license/copyright.lux +++ b/licentia/source/program/licentia/license/copyright.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except)]] [// diff --git a/licentia/source/program/licentia/license/definition.lux b/licentia/source/program/licentia/license/definition.lux index 13da5bf69..d43906feb 100644 --- a/licentia/source/program/licentia/license/definition.lux +++ b/licentia/source/program/licentia/license/definition.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except Definition) [data diff --git a/licentia/source/program/licentia/license/distribution.lux b/licentia/source/program/licentia/license/distribution.lux index 1a388b664..6d64c6a42 100644 --- a/licentia/source/program/licentia/license/distribution.lux +++ b/licentia/source/program/licentia/license/distribution.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except) [data ["[0]" text ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" monoid)]]]]] + ["[0]" list (.use "[1]#[0]" monoid)]]]]] ["[0]" // (.only Distribution) ["_" term] [// diff --git a/licentia/source/program/licentia/license/extension.lux b/licentia/source/program/licentia/license/extension.lux index cb2a3bddf..208e039a5 100644 --- a/licentia/source/program/licentia/license/extension.lux +++ b/licentia/source/program/licentia/license/extension.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [data diff --git a/licentia/source/program/licentia/license/grant.lux b/licentia/source/program/licentia/license/grant.lux index 729d9fd5c..b890faa00 100644 --- a/licentia/source/program/licentia/license/grant.lux +++ b/licentia/source/program/licentia/license/grant.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [data diff --git a/licentia/source/program/licentia/license/liability.lux b/licentia/source/program/licentia/license/liability.lux index 3f7c62340..87a3039b6 100644 --- a/licentia/source/program/licentia/license/liability.lux +++ b/licentia/source/program/licentia/license/liability.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [data diff --git a/licentia/source/program/licentia/license/limitation.lux b/licentia/source/program/licentia/license/limitation.lux index 741ebbb61..cdb8f9fc8 100644 --- a/licentia/source/program/licentia/license/limitation.lux +++ b/licentia/source/program/licentia/license/limitation.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [data diff --git a/licentia/source/program/licentia/license/miscellaneous.lux b/licentia/source/program/licentia/license/miscellaneous.lux index 18041be49..c297a4019 100644 --- a/licentia/source/program/licentia/license/miscellaneous.lux +++ b/licentia/source/program/licentia/license/miscellaneous.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [data diff --git a/licentia/source/program/licentia/license/notice.lux b/licentia/source/program/licentia/license/notice.lux index 67b0c3f41..3139c2d4e 100644 --- a/licentia/source/program/licentia/license/notice.lux +++ b/licentia/source/program/licentia/license/notice.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except) [data ["[0]" text ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math [number ["n" nat]]]]] diff --git a/licentia/source/program/licentia/license/submission.lux b/licentia/source/program/licentia/license/submission.lux index 48245707e..94910d652 100644 --- a/licentia/source/program/licentia/license/submission.lux +++ b/licentia/source/program/licentia/license/submission.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [data diff --git a/licentia/source/program/licentia/license/term.lux b/licentia/source/program/licentia/license/term.lux index c1925b02c..5ef9a9b91 100644 --- a/licentia/source/program/licentia/license/term.lux +++ b/licentia/source/program/licentia/license/term.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except Definition)]] ["[0]" // diff --git a/licentia/source/program/licentia/license/time.lux b/licentia/source/program/licentia/license/time.lux index eb08fe651..9efebaf10 100644 --- a/licentia/source/program/licentia/license/time.lux +++ b/licentia/source/program/licentia/license/time.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except)]]) diff --git a/licentia/source/program/licentia/output.lux b/licentia/source/program/licentia/output.lux index d36a6d900..7645b2cb4 100644 --- a/licentia/source/program/licentia/output.lux +++ b/licentia/source/program/licentia/output.lux @@ -1,14 +1,14 @@ -(.using +(.require [library [lux (.except Definition) [control - ["[0]" maybe (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)]] [data ["[0]" bit] ["[0]" text ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor monoid)]]]]] + ["[0]" list (.use "[1]#[0]" functor monoid)]]]]] [// ["[0]" license (.only Identification Termination diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux index c063260ae..d00497877 100644 --- a/licentia/source/test/licentia.lux +++ b/licentia/source/test/licentia.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [program (.only program:)] @@ -7,16 +7,16 @@ [monad (.only do)]] [control ["[0]" io] - ["[0]" maybe (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math ["[0]" random (.only Random)] [number - ["n" nat (.open: "[1]#[0]" interval)]]]]] + ["n" nat (.use "[1]#[0]" interval)]]]]] [\\program ["[0]" output] ["[0]" license (.only Identification |