Extensible import syntax [Part 6]

7 files changed, 12 insertions, 12 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
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index 86da654d9..0e40d75bb 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -7,16 +7,16 @@
     [monad (.only do)]]
    [control
     ["[0]" io]
-    ["[0]" maybe ("[1]#[0]" functor)]]
+    ["[0]" maybe (.open: "[1]#[0]" functor)]]
    [data
-    ["[0]" bit ("[1]#[0]" equivalence)]
+    ["[0]" bit (.open: "[1]#[0]" equivalence)]
     ["[0]" text]
     [collection
-     ["[0]" list ("[1]#[0]" functor)]]]
+     ["[0]" list (.open: "[1]#[0]" functor)]]]
    [math
     ["[0]" random (.only Random)]
     [number
-     ["n" nat ("[1]#[0]" interval)]]]]]
+     ["n" nat (.open: "[1]#[0]" interval)]]]]]
  [\\program
   ["[0]" output]
   ["[0]" license (.only Identification