diff options
| author | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
| commit | 56d2835d35093e2d92c5e8a4371aa322b55e037b (patch) | |
| tree | 1c7949355baeae92e2f6e02f9104739ddb10ff73 /licentia/source/program | |
| parent | f2172051a91bbb2578918dc784a053a321849b63 (diff) | |
Extensible import syntax [Part 6]
Diffstat (limited to 'licentia/source/program')
6 files changed, 8 insertions, 8 deletions
diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux index f8c08a55c..aaa392ec3 100644 --- a/licentia/source/program/licentia.lux +++ b/licentia/source/program/licentia.lux @@ -21,7 +21,7 @@ [monad (.only do)]] [control [remember (.only to_do)] - ["[0]" io (.only IO) ("[1]#[0]" monad)] + ["[0]" io (.only IO) (.open: "[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 61fd75cbe..3d5f41dc3 100644 --- a/licentia/source/program/licentia/document.lux +++ b/licentia/source/program/licentia/document.lux @@ -5,7 +5,7 @@ ["[0]" text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]]]]) + ["[0]" list (.open: "[1]#[0]" functor)]]]]]) (def: .public (quote text) (-> Text Text) diff --git a/licentia/source/program/licentia/license/black_list.lux b/licentia/source/program/licentia/license/black_list.lux index 85338d15b..a7442b368 100644 --- a/licentia/source/program/licentia/license/black_list.lux +++ b/licentia/source/program/licentia/license/black_list.lux @@ -2,12 +2,12 @@ [library [lux (.except) [control - ["[0]" maybe ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)]] [data ["[0]" text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]]]] + ["[0]" list (.open: "[1]#[0]" functor)]]]]] ["[0]" // (.only Entity Black_List) ["_" term] [// diff --git a/licentia/source/program/licentia/license/distribution.lux b/licentia/source/program/licentia/license/distribution.lux index 396bdd4ec..5628e96f5 100644 --- a/licentia/source/program/licentia/license/distribution.lux +++ b/licentia/source/program/licentia/license/distribution.lux @@ -5,7 +5,7 @@ ["[0]" text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" monoid)]]]]] + ["[0]" list (.open: "[1]#[0]" monoid)]]]]] ["[0]" // (.only Distribution) ["_" term] [// diff --git a/licentia/source/program/licentia/license/notice.lux b/licentia/source/program/licentia/license/notice.lux index 009401794..61a661df3 100644 --- a/licentia/source/program/licentia/license/notice.lux +++ b/licentia/source/program/licentia/license/notice.lux @@ -5,7 +5,7 @@ ["[0]" text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math [number ["n" nat]]]]] diff --git a/licentia/source/program/licentia/output.lux b/licentia/source/program/licentia/output.lux index fb0b655ec..43599e39b 100644 --- a/licentia/source/program/licentia/output.lux +++ b/licentia/source/program/licentia/output.lux @@ -2,13 +2,13 @@ [library [lux (.except Definition) [control - ["[0]" maybe ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)]] [data ["[0]" bit] ["[0]" text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor monoid)]]]]] + ["[0]" list (.open: "[1]#[0]" functor monoid)]]]]] [// ["[0]" license (.only Identification Termination |