From 56d2835d35093e2d92c5e8a4371aa322b55e037b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 4 Jun 2022 02:28:47 -0400
Subject: Extensible import syntax [Part 6]

---
 stdlib/source/specification/compositor/generation/case.lux      | 4 ++--
 stdlib/source/specification/compositor/generation/common.lux    | 4 ++--
 stdlib/source/specification/compositor/generation/function.lux  | 4 ++--
 stdlib/source/specification/compositor/generation/primitive.lux | 4 ++--
 stdlib/source/specification/compositor/generation/structure.lux | 4 ++--
 5 files changed, 10 insertions(+), 10 deletions(-)

(limited to 'stdlib/source/specification/compositor/generation')

diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index c0909a558..1fbde2917 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -7,13 +7,13 @@
    ["[0]" pipe]
    ["[0]" try (.only Try)]]
   [data
-   ["[0]" text ("[1]#[0]" equivalence)
+   ["[0]" text (.open: "[1]#[0]" equivalence)
     ["%" format (.only format)]]
    [number
     ["n" nat]
     ["f" frac]]
    [collection
-    ["[0]" list ("[1]#[0]" mix)]]]
+    ["[0]" list (.open: "[1]#[0]" mix)]]]
   [math
    ["r" random (.only Random)]]
   [tool
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index 334ce7012..e8d5e6ab4 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -7,13 +7,13 @@
    ["[0]" pipe]
    ["[0]" try (.only Try)]]
   [data
-   ["[0]" bit ("[1]#[0]" equivalence)]
+   ["[0]" bit (.open: "[1]#[0]" equivalence)]
    [number
     ["[0]" i64]
     ["n" nat]
     ["i" int]
     ["f" frac]]
-   ["[0]" text ("[1]#[0]" equivalence)
+   ["[0]" text (.open: "[1]#[0]" equivalence)
     ["%" format (.only format)]]
    [collection
     ["[0]" list]]]
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index d1ab6e87a..7e2c6d66f 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -10,9 +10,9 @@
    [number
     ["n" nat]]
    [collection
-    ["[0]" list ("[1]#[0]" functor)]]]
+    ["[0]" list (.open: "[1]#[0]" functor)]]]
   [math
-   ["r" random (.only Random) ("[1]#[0]" monad)]]
+   ["r" random (.only Random) (.open: "[1]#[0]" monad)]]
   [tool
    [compiler
     [analysis (.only Arity)]
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index 375cdf94c..d76f98f0a 100644
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
@@ -7,10 +7,10 @@
    ["[0]" pipe]
    ["[0]" try]]
   [data
-   ["[0]" bit ("[1]#[0]" equivalence)]
+   ["[0]" bit (.open: "[1]#[0]" equivalence)]
    [number
     ["f" frac]]
-   ["[0]" text ("[1]#[0]" equivalence)
+   ["[0]" text (.open: "[1]#[0]" equivalence)
     ["%" format (.only format)]]]
   [math
    ["r" random]]
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index e43533acb..d914c309f 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -11,11 +11,11 @@
    [number
     ["n" nat]
     ["i" int]]
-   ["[0]" text ("[1]#[0]" equivalence)
+   ["[0]" text (.open: "[1]#[0]" equivalence)
     ["%" format (.only format)]]
    [collection
     ["[0]" array (.only Array)]
-    ["[0]" list ("[1]#[0]" functor)]]]
+    ["[0]" list (.open: "[1]#[0]" functor)]]]
   [math
    ["r" random]]
   ["[0]" ffi (.only import:)]
-- 
cgit v1.2.3