From a8d76e48df01d0f5326faa8456797f91cb2cbeba Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 30 Jun 2022 22:53:23 -0400 Subject: Alternative names for (un)quoting macros. --- stdlib/source/polytypic/lux/abstract/equivalence.lux | 9 +++++---- stdlib/source/polytypic/lux/abstract/functor.lux | 7 ++++--- stdlib/source/polytypic/lux/data/format/json.lux | 9 +++++---- 3 files changed, 14 insertions(+), 11 deletions(-) (limited to 'stdlib/source/polytypic') diff --git a/stdlib/source/polytypic/lux/abstract/equivalence.lux b/stdlib/source/polytypic/lux/abstract/equivalence.lux index 4b50b9e2b..983beea4d 100644 --- a/stdlib/source/polytypic/lux/abstract/equivalence.lux +++ b/stdlib/source/polytypic/lux/abstract/equivalence.lux @@ -33,10 +33,11 @@ ["[0]" instant] ["[0]" day] ["[0]" month]] - ["[0]" type (.only) - ["<[1]>" \\parser] - ["[0]" poly (.only polytypic)] - ["[0]" unit]]]] + [meta + ["[0]" type (.only) + ["<[1]>" \\parser] + ["[0]" poly (.only polytypic)] + ["[0]" unit]]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/polytypic/lux/abstract/functor.lux b/stdlib/source/polytypic/lux/abstract/functor.lux index 3cc3074b0..e10853519 100644 --- a/stdlib/source/polytypic/lux/abstract/functor.lux +++ b/stdlib/source/polytypic/lux/abstract/functor.lux @@ -16,9 +16,10 @@ [math [number ["n" nat]]] - ["[0]" type (.only) - ["<[1]>" \\parser] - ["[0]" poly (.only polytypic)]]]] + [meta + ["[0]" type (.only) + ["<[1]>" \\parser] + ["[0]" poly (.only polytypic)]]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/polytypic/lux/data/format/json.lux b/stdlib/source/polytypic/lux/data/format/json.lux index a177d5712..229abb9c9 100644 --- a/stdlib/source/polytypic/lux/data/format/json.lux +++ b/stdlib/source/polytypic/lux/data/format/json.lux @@ -33,10 +33,11 @@ ["[0]" date] ["[0]" day] ["[0]" month]] - ["[0]" type (.only) - ["<[1]>" \\parser] - ["[0]" unit] - ["[0]" poly (.only polytypic)]]]] + [meta + ["[0]" type (.only) + ["<[1]>" \\parser] + ["[0]" unit] + ["[0]" poly (.only polytypic)]]]]] [\\library ["[0]" / (.only JSON)]]) -- cgit v1.2.3