From 7249707e7c09be68dfb7507ba363efd3300a0141 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 16 Jun 2022 21:37:38 -0400 Subject: De-sigil-ification: suffix : [Part 14] --- stdlib/source/specification/compositor/generation/case.lux | 6 +++--- stdlib/source/specification/compositor/generation/common.lux | 6 +++--- stdlib/source/specification/compositor/generation/function.lux | 6 +++--- stdlib/source/specification/compositor/generation/primitive.lux | 6 +++--- stdlib/source/specification/compositor/generation/reference.lux | 2 +- stdlib/source/specification/compositor/generation/structure.lux | 6 +++--- 6 files changed, 16 insertions(+), 16 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 e1603a517..86c09da51 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except case) ["_" test (.only Test)] [abstract @@ -7,13 +7,13 @@ ["[0]" pipe] ["[0]" try (.only Try)]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [number ["n" nat] ["f" frac]] [collection - ["[0]" list (.open: "[1]#[0]" mix)]]] + ["[0]" list (.use "[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 fabd44907..ec8adb582 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except i64) ["_" test (.only Test)] [abstract @@ -7,13 +7,13 @@ ["[0]" pipe] ["[0]" try (.only Try)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [number ["[0]" i64] ["n" nat] ["i" int] ["f" frac]] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[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 a7cb2de43..632f0db75 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except function) ["_" test (.only Test)] [abstract @@ -10,9 +10,9 @@ [number ["n" nat]] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math - ["r" random (.only Random) (.open: "[1]#[0]" monad)]] + ["r" random (.only Random) (.use "[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 f927d5dd2..0a21ad67b 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except) ["_" test (.only Test)] [abstract @@ -7,10 +7,10 @@ ["[0]" pipe] ["[0]" try]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [number ["f" frac]] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [math ["r" random]] diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux index c7ba5c2bf..a5244bc8c 100644 --- a/stdlib/source/specification/compositor/generation/reference.lux +++ b/stdlib/source/specification/compositor/generation/reference.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except symbol) ["_" test (.only Test)] [abstract diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index bfc6621b9..efdbd3ad2 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -1,4 +1,4 @@ -(.using +(.require [lux (.except) ["_" test (.only Test)] [abstract @@ -11,11 +11,11 @@ [number ["n" nat] ["i" int]] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection ["[0]" array (.only Array)] - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math ["r" random]] ["[0]" ffi (.only import)] -- cgit v1.2.3