From 0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 2 Jun 2022 13:56:01 -0400 Subject: Extensible import syntax [Part 3] --- licentia/source/program/licentia.lux | 2 +- licentia/source/program/licentia/input.lux | 2 +- licentia/source/program/licentia/license.lux | 2 +- licentia/source/program/licentia/license/addendum.lux | 2 +- licentia/source/program/licentia/license/assurance.lux | 2 +- licentia/source/program/licentia/license/black_list.lux | 2 +- licentia/source/program/licentia/license/commercial.lux | 2 +- licentia/source/program/licentia/license/copyright.lux | 2 +- licentia/source/program/licentia/license/distribution.lux | 2 +- licentia/source/program/licentia/license/extension.lux | 2 +- licentia/source/program/licentia/license/grant.lux | 2 +- licentia/source/program/licentia/license/liability.lux | 2 +- licentia/source/program/licentia/license/limitation.lux | 2 +- licentia/source/program/licentia/license/miscellaneous.lux | 2 +- licentia/source/program/licentia/license/notice.lux | 2 +- licentia/source/program/licentia/license/submission.lux | 2 +- licentia/source/program/licentia/license/time.lux | 2 +- licentia/source/test/licentia.lux | 2 +- 18 files changed, 18 insertions(+), 18 deletions(-) (limited to 'licentia/source') diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux index 2a5da043f..92b1ca33a 100644 --- a/licentia/source/program/licentia.lux +++ b/licentia/source/program/licentia.lux @@ -13,7 +13,7 @@ (.using [library - [lux "*" + [lux (.full) [ffi (.only import:)] [program (.only program:)] ["[0]" debug] diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux index 21de87b90..bc15a805e 100644 --- a/licentia/source/program/licentia/input.lux +++ b/licentia/source/program/licentia/input.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [abstract [monad (.only do)]] [control diff --git a/licentia/source/program/licentia/license.lux b/licentia/source/program/licentia/license.lux index 6fce41a82..997206aea 100644 --- a/licentia/source/program/licentia/license.lux +++ b/licentia/source/program/licentia/license.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*"]] + [lux (.full)]] ["[0]" / "_" [time (.only Days Months Period)] ["[1][0]" copyright]]) diff --git a/licentia/source/program/licentia/license/addendum.lux b/licentia/source/program/licentia/license/addendum.lux index 2fe9e1c9a..efc357b0a 100644 --- a/licentia/source/program/licentia/license/addendum.lux +++ b/licentia/source/program/licentia/license/addendum.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [data [text ["%" format (.only format)]]]]] diff --git a/licentia/source/program/licentia/license/assurance.lux b/licentia/source/program/licentia/license/assurance.lux index de2538a5d..9e02ababb 100644 --- a/licentia/source/program/licentia/license/assurance.lux +++ b/licentia/source/program/licentia/license/assurance.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [data ["[0]" text ["%" format (.only format)]]]]] diff --git a/licentia/source/program/licentia/license/black_list.lux b/licentia/source/program/licentia/license/black_list.lux index be1c01f2e..6ec0d4bfb 100644 --- a/licentia/source/program/licentia/license/black_list.lux +++ b/licentia/source/program/licentia/license/black_list.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [control ["[0]" maybe ("[1]#[0]" functor)]] [data diff --git a/licentia/source/program/licentia/license/commercial.lux b/licentia/source/program/licentia/license/commercial.lux index 20279179c..c49fa3422 100644 --- a/licentia/source/program/licentia/license/commercial.lux +++ b/licentia/source/program/licentia/license/commercial.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [data ["[0]" text ["%" format (.only format)]]]]] diff --git a/licentia/source/program/licentia/license/copyright.lux b/licentia/source/program/licentia/license/copyright.lux index c20dc5f64..fc7dffde6 100644 --- a/licentia/source/program/licentia/license/copyright.lux +++ b/licentia/source/program/licentia/license/copyright.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*"]] + [lux (.full)]] [// [time (.only Year Period)]]) diff --git a/licentia/source/program/licentia/license/distribution.lux b/licentia/source/program/licentia/license/distribution.lux index 4632536ba..6e734f017 100644 --- a/licentia/source/program/licentia/license/distribution.lux +++ b/licentia/source/program/licentia/license/distribution.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [data ["[0]" text ["%" format (.only format)]] diff --git a/licentia/source/program/licentia/license/extension.lux b/licentia/source/program/licentia/license/extension.lux index 00075dd35..9209b3bff 100644 --- a/licentia/source/program/licentia/license/extension.lux +++ b/licentia/source/program/licentia/license/extension.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [data ["[0]" text ["%" format (.only format)]]]]] diff --git a/licentia/source/program/licentia/license/grant.lux b/licentia/source/program/licentia/license/grant.lux index 38344fb24..1f4b93f03 100644 --- a/licentia/source/program/licentia/license/grant.lux +++ b/licentia/source/program/licentia/license/grant.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [data ["[0]" text ["%" format (.only format)]]]]] diff --git a/licentia/source/program/licentia/license/liability.lux b/licentia/source/program/licentia/license/liability.lux index ee4458e5f..cc56738d9 100644 --- a/licentia/source/program/licentia/license/liability.lux +++ b/licentia/source/program/licentia/license/liability.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [data ["[0]" text ["%" format (.only format)]]]]] diff --git a/licentia/source/program/licentia/license/limitation.lux b/licentia/source/program/licentia/license/limitation.lux index 33a5753d8..c65477b04 100644 --- a/licentia/source/program/licentia/license/limitation.lux +++ b/licentia/source/program/licentia/license/limitation.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [data ["[0]" text ["%" format (.only format)]]]]] diff --git a/licentia/source/program/licentia/license/miscellaneous.lux b/licentia/source/program/licentia/license/miscellaneous.lux index dc126ddfb..83965b5dd 100644 --- a/licentia/source/program/licentia/license/miscellaneous.lux +++ b/licentia/source/program/licentia/license/miscellaneous.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [data ["[0]" text ["%" format (.only format)]]]]] diff --git a/licentia/source/program/licentia/license/notice.lux b/licentia/source/program/licentia/license/notice.lux index e9dcb520b..34dc7c429 100644 --- a/licentia/source/program/licentia/license/notice.lux +++ b/licentia/source/program/licentia/license/notice.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [data ["[0]" text ["%" format (.only format)]] diff --git a/licentia/source/program/licentia/license/submission.lux b/licentia/source/program/licentia/license/submission.lux index 367839be3..b596470ea 100644 --- a/licentia/source/program/licentia/license/submission.lux +++ b/licentia/source/program/licentia/license/submission.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [data ["[0]" text ["%" format (.only format)]]]]] diff --git a/licentia/source/program/licentia/license/time.lux b/licentia/source/program/licentia/license/time.lux index 018c7e98d..10956aed3 100644 --- a/licentia/source/program/licentia/license/time.lux +++ b/licentia/source/program/licentia/license/time.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*"]]) + [lux (.full)]]) (type: .public Days Nat) diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux index 39b76b6b6..5dd08c02e 100644 --- a/licentia/source/test/licentia.lux +++ b/licentia/source/test/licentia.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [program (.only program:)] ["_" test (.only Test)] [abstract -- cgit v1.2.3