aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/program
diff options
context:
space:
mode:
Diffstat (limited to 'licentia/source/program')
-rw-r--r--licentia/source/program/licentia.lux2
-rw-r--r--licentia/source/program/licentia/document.lux2
-rw-r--r--licentia/source/program/licentia/license/black_list.lux4
-rw-r--r--licentia/source/program/licentia/license/distribution.lux2
-rw-r--r--licentia/source/program/licentia/license/notice.lux2
-rw-r--r--licentia/source/program/licentia/output.lux4
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