From 464b6e8f5e6c62f58fa8c7ff61ab2ad215e98bd1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 9 Aug 2021 23:02:01 -0400 Subject: Improved single-line comment syntax (from "##" to "..."). --- stdlib/source/poly/lux/abstract/equivalence.lux | 20 +++++++++--------- stdlib/source/poly/lux/abstract/functor.lux | 12 +++++------ stdlib/source/poly/lux/data/format/json.lux | 28 ++++++++++++------------- 3 files changed, 30 insertions(+), 30 deletions(-) (limited to 'stdlib/source/poly') diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux index 4c33de0f3..797caaf12 100644 --- a/stdlib/source/poly/lux/abstract/equivalence.lux +++ b/stdlib/source/poly/lux/abstract/equivalence.lux @@ -50,7 +50,7 @@ (function (_ type) (` ((~! /.Equivalence) (~ (poly.code *env* type))))))]] ($_ <>.either - ## Basic types + ... Basic types (~~ (template [ ] [(do ! [_ ] @@ -64,7 +64,7 @@ [(.sub Rev) (~! rev.equivalence)] [(.sub Frac) (~! frac.equivalence)] [(.sub Text) (~! text.equivalence)])) - ## Composite types + ... Composite types (~~ (template [ ] [(do ! [[_ argC] (.applied (<>.and (.exactly ) @@ -87,7 +87,7 @@ equivalence))] (in (` (: (~ (@Equivalence inputT)) ((~! dictionary.equivalence) (~ valC)))))) - ## Models + ... Models (~~ (template [ ] [(do ! [_ (.exactly )] @@ -105,7 +105,7 @@ .any))] (in (` (: (~ (@Equivalence inputT)) unit.equivalence)))) - ## Variants + ... Variants (do ! [members (.variant (<>.many equivalence)) .let [last (dec (list.size members)) @@ -126,7 +126,7 @@ (list.enumeration members)))) (~ g!_) #0)))))) - ## Tuples + ... Tuples (do ! [g!eqs (.tuple (<>.many equivalence)) .let [g!_ (code.local_identifier "_____________") @@ -138,7 +138,7 @@ (and (~+ (|> (list.zipped/3 g!eqs g!lefts g!rights) (list\map (function (_ [g!eq g!left g!right]) (` ((~ g!eq) (~ g!left) (~ g!right))))))))))))) - ## Type recursion + ... Type recursion (do ! [[g!self bodyC] (.recursive equivalence) .let [g!_ (code.local_identifier "_____________")]] @@ -146,13 +146,13 @@ ((~! /.rec) (.function ((~ g!_) (~ g!self)) (~ bodyC))))))) .recursive_self - ## Type applications + ... Type applications (do ! [[funcC argsC] (.applied (<>.and equivalence (<>.many equivalence)))] (in (` ((~ funcC) (~+ argsC))))) - ## Parameters + ... Parameters .parameter - ## Polymorphism + ... Polymorphism (do ! [[funcC varsC bodyC] (.polymorphic equivalence)] (in (` (: (All [(~+ varsC)] @@ -161,7 +161,7 @@ (function ((~ funcC) (~+ varsC)) (~ bodyC)))))) .recursive_call - ## If all else fails... + ... If all else fails... (|> .any (\ ! map (|>> %.type (format "Cannot create Equivalence for: ") <>.failure)) (\ ! join)) diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index bb9ef4a88..842c4b66c 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -44,12 +44,12 @@ Arg (: (-> Code (.Parser Code)) (function (Arg valueC) ($_ p.either - ## Type-var + ... Type-var (do p.monad [.let [varI (|> num_vars (n.* 2) dec)] _ (.parameter! varI)] (in (` ((~ funcC) (~ valueC))))) - ## Variants + ... Variants (do ! [_ (in []) membersC (.variant (p.many (Arg valueC))) @@ -62,7 +62,7 @@ (list (` ((~ (code.nat tag)) #0 (~ valueC))) (` ((~ (code.nat tag)) #0 (~ memberC)))))) (list.enumeration membersC)))))))) - ## Tuples + ... Tuples (do p.monad [pairsCC (: (.Parser (List [Code Code])) (.tuple (loop [idx 0 @@ -78,7 +78,7 @@ (in (` (case (~ valueC) [(~+ (list\map product.left pairsCC))] [(~+ (list\map product.right pairsCC))])))) - ## Functions + ... Functions (do ! [_ (in []) .let [g! (code.local_identifier "____________") @@ -91,11 +91,11 @@ (in (` (function ((~ g!) (~+ inC+)) (let [(~ outL) ((~ valueC) (~+ inC+))] (~ outC)))))) - ## Recursion + ... Recursion (do p.monad [_ .recursive_call] (in (` ((~' map) (~ funcC) (~ valueC))))) - ## Parameters + ... Parameters (do p.monad [_ .any] (in valueC)) diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index 847e3a160..5ee07e1d1 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -29,8 +29,8 @@ ["." int] ["." frac]]] [time - ## ["." instant] - ## ["." duration] + ... ["." instant] + ... ["." duration] ["." date] ["." day] ["." month]] @@ -116,8 +116,8 @@ (in (` (: (~ (@JSON\encode inputT)) (|>> (\ (~! ) (~' encode)) #/.String)))))] - ## [duration.Duration duration.codec] - ## [instant.Instant instant.codec] + ... [duration.Duration duration.codec] + ... [instant.Instant instant.codec] [date.Date date.codec] [day.Day day.codec] [month.Month month.codec])] @@ -191,7 +191,7 @@ ((~! /.json) [(~+ (list\map (function (_ [g!member g!encode]) (` ((~ g!encode) (~ g!member)))) (list.zipped/2 g!members g!encoders)))])))))) - ## Type recursion + ... Type recursion (do ! [[selfC non_recC] (.recursive encode) .let [g! (code.local_identifier "____________")]] @@ -199,11 +199,11 @@ ((~! ..rec_encode) (.function ((~ g!) (~ selfC)) (~ non_recC))))))) .recursive_self - ## Type applications + ... Type applications (do ! [partsC (.applied (<>.many encode))] (in (` ((~+ partsC))))) - ## Polymorphism + ... Polymorphism (do ! [[funcC varsC bodyC] (.polymorphic encode)] (in (` (: (All [(~+ varsC)] @@ -215,7 +215,7 @@ (~ bodyC)))))) .parameter .recursive_call - ## If all else fails... + ... If all else fails... (<>.failure (format "Cannot create JSON encoder for: " (type.format inputT))) )))) @@ -239,8 +239,8 @@ (in (` (: (~ (@JSON\decode inputT)) ((~! <>.codec) (~! ) (~! .string))))))] - ## [duration.Duration duration.codec] - ## [instant.Instant instant.codec] + ... [duration.Duration duration.codec] + ... [instant.Instant instant.codec] [date.Date date.codec] [day.Day day.codec] [month.Month month.codec])] @@ -295,7 +295,7 @@ [g!decoders (.tuple (<>.many decode))] (in (` (: (~ (@JSON\decode inputT)) ((~! .array) ($_ ((~! <>.and)) (~+ g!decoders))))))) - ## Type recursion + ... Type recursion (do ! [[selfC bodyC] (.recursive decode) .let [g! (code.local_identifier "____________")]] @@ -303,11 +303,11 @@ ((~! <>.rec) (.function ((~ g!) (~ selfC)) (~ bodyC))))))) .recursive_self - ## Type applications + ... Type applications (do ! [[funcC argsC] (.applied (<>.and decode (<>.many decode)))] (in (` ((~ funcC) (~+ argsC))))) - ## Polymorphism + ... Polymorphism (do ! [[funcC varsC bodyC] (.polymorphic decode)] (in (` (: (All [(~+ varsC)] @@ -317,7 +317,7 @@ (~ bodyC)))))) .parameter .recursive_call - ## If all else fails... + ... If all else fails... (<>.failure (format "Cannot create JSON decoder for: " (type.format inputT))) )))) -- cgit v1.2.3