From 9c21fd1f33eb52fb971d493ad21a67036d68b841 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 12 Jun 2022 02:29:28 -0400 Subject: Re-named the "poly" hierarchy to "polytypic". --- stdlib/source/test/aedifex/artifact/snapshot/time.lux | 7 ++++--- stdlib/source/test/aedifex/artifact/snapshot/version/value.lux | 7 +++---- stdlib/source/test/aedifex/artifact/time.lux | 7 ++++--- stdlib/source/test/aedifex/artifact/time/date.lux | 7 ++++--- stdlib/source/test/aedifex/artifact/time/time.lux | 7 ++++--- 5 files changed, 19 insertions(+), 16 deletions(-) (limited to 'stdlib/source/test/aedifex') diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index d93d9070c..a26532ce1 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -7,9 +7,10 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] - [parser - ["<[0]>" text]]] + ["[0]" try (.open: "[1]#[0]" functor)]] + [data + ["[0]" text + ["<[1]>" \\parser]]] [math ["[0]" random (.only Random)]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 27ef6062c..34599cf81 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -7,12 +7,11 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] - [parser - ["<[0]>" text]]] + ["[0]" try (.open: "[1]#[0]" functor)]] [data ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]]] + ["%" format (.only format)] + ["<[1]>" \\parser]]] [math ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index 56ffe1ea1..8ee637360 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -7,9 +7,10 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] - [parser - ["<[0]>" text]]] + ["[0]" try (.open: "[1]#[0]" functor)]] + [data + ["[0]" text + ["<[1]>" \\parser]]] [time ["[0]" instant (.open: "[1]#[0]" equivalence)]] [math diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index ca23a1d2a..b53420e0a 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -8,9 +8,10 @@ ["$[0]" equivalence]]] [control ["[0]" try (.open: "[1]#[0]" functor)] - ["[0]" exception] - [parser - ["<[0]>" text]]] + ["[0]" exception]] + [data + ["[0]" text + ["<[1]>" \\parser]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index a242ae3a4..9a7189e33 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -6,9 +6,10 @@ [abstract [monad (.only do)]] [control - ["[0]" try (.open: "[1]#[0]" functor)] - [parser - ["<[0]>" text]]] + ["[0]" try (.open: "[1]#[0]" functor)]] + [data + ["[0]" text + ["<[1]>" \\parser]]] [math ["[0]" random (.only Random)] [number -- cgit v1.2.3