From dda05bca0956af5e5b3875c4cc36e61aa04772e4 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 12 Sep 2021 00:07:08 -0400 Subject: Made the "#" character great again! --- .../specification/compositor/generation/common.lux | 122 ++++++++++----------- 1 file changed, 61 insertions(+), 61 deletions(-) (limited to 'stdlib/source/specification/compositor/generation/common.lux') diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index 7aad9a7a7..eeaa68a94 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -39,13 +39,13 @@ subject r.i64] (with_expansions [ (template [ ] [(_.test - (|> {#synthesis.Extension (list (synthesis.i64 param) + (|> {synthesis.#Extension (list (synthesis.i64 param) (synthesis.i64 subject))} (run (..safe )) - (case> {#try.Success valueT} + (case> {try.#Success valueT} (n.= ( param subject) (:as Nat valueT)) - {#try.Failure _} + {try.#Failure _} false) (let [param ])))] @@ -58,16 +58,16 @@ ($_ _.and (_.test "lux i64 arithmetic-right-shift" - (|> {#synthesis.Extension "lux i64 arithmetic-right-shift" + (|> {synthesis.#Extension "lux i64 arithmetic-right-shift" (list (synthesis.i64 subject) (synthesis.i64 param))} (run (..safe "lux i64 arithmetic-right-shift")) - (case> {#try.Success valueT} + (case> {try.#Success valueT} ("lux i64 =" (i64.arithmetic_right_shifted param subject) (:as I64 valueT)) - {#try.Failure _} + {try.#Failure _} false) (let [param (n.% 64 param)]))) )))) @@ -80,12 +80,12 @@ (`` ($_ _.and (~~ (template [ ] [(_.test - (|> {#synthesis.Extension (list (synthesis.i64 subject))} + (|> {synthesis.#Extension (list (synthesis.i64 subject))} (run (..safe )) - (case> {#try.Success valueT} + (case> {try.#Success valueT} ( ( subject) (:as valueT)) - {#try.Failure _} + {try.#Failure _} false) (let [subject ])))] @@ -97,13 +97,13 @@ )) (~~ (template [ ] [(_.test - (|> {#synthesis.Extension (list (synthesis.i64 param) + (|> {synthesis.#Extension (list (synthesis.i64 param) (synthesis.i64 subject))} (run (..safe )) - (case> {#try.Success valueT} + (case> {try.#Success valueT} ( ( param subject) (:as valueT)) - {#try.Failure _} + {try.#Failure _} false)))] ["lux i64 +" i.+ Int i.=] @@ -128,7 +128,7 @@ (`` ($_ _.and (~~ (template [ ] [(_.test - (|> {#synthesis.Extension (list (synthesis.f64 param) + (|> {synthesis.#Extension (list (synthesis.f64 param) (synthesis.f64 subject))} (run (..safe )) (//case.verify ( param subject))))] @@ -141,10 +141,10 @@ )) (~~ (template [ ] [(_.test - (|> {#synthesis.Extension (list (synthesis.f64 param) + (|> {synthesis.#Extension (list (synthesis.f64 param) (synthesis.f64 subject))} (run (..safe )) - (case> {#try.Success valueV} + (case> {try.#Success valueV} (bit\= ( param subject) (:as Bit valueV)) @@ -156,7 +156,7 @@ )) (~~ (template [ ] [(_.test - (|> {#synthesis.Extension (list)} + (|> {synthesis.#Extension (list)} (run (..safe )) (//case.verify )))] @@ -167,8 +167,8 @@ (_.test "'lux f64 i64 && 'lux i64 f64'" (|> (run (..safe "lux f64 i64") (|> subject synthesis.f64 - (list) {#synthesis.Extension "lux f64 i64"} - (list) {#synthesis.Extension "lux i64 f64"})) + (list) {synthesis.#Extension "lux f64 i64"} + (list) {synthesis.#Extension "lux i64 f64"})) (//case.verify subject))) )))) @@ -184,84 +184,84 @@ .let [sample_lowerS (synthesis.text sample_lower) sample_upperS (synthesis.text sample_upper) sample_alphaS (synthesis.text sample_alpha) - concatenatedS {#synthesis.Extension "lux text concat" (list sample_lowerS sample_upperS)} + concatenatedS {synthesis.#Extension "lux text concat" (list sample_lowerS sample_upperS)} pre_rep_once (format sample_lower sample_upper) post_rep_once (format sample_lower sample_alpha) pre_rep_all (|> sample_lower (list.repeated sample_size) (text.interposed sample_upper)) post_rep_all (|> sample_lower (list.repeated sample_size) (text.interposed sample_alpha))]] ($_ _.and (_.test "Can compare texts for equality." - (and (|> {#synthesis.Extension "lux text =" (list sample_lowerS sample_lowerS)} + (and (|> {synthesis.#Extension "lux text =" (list sample_lowerS sample_lowerS)} (run (..safe "lux text =")) - (case> {#try.Success valueV} + (case> {try.#Success valueV} (:as Bit valueV) _ false)) - (|> {#synthesis.Extension "lux text =" (list sample_upperS sample_lowerS)} + (|> {synthesis.#Extension "lux text =" (list sample_upperS sample_lowerS)} (run (..safe "lux text =")) - (case> {#try.Success valueV} + (case> {try.#Success valueV} (not (:as Bit valueV)) _ false)))) (_.test "Can compare texts for order." - (|> {#synthesis.Extension "lux text <" (list sample_lowerS sample_upperS)} + (|> {synthesis.#Extension "lux text <" (list sample_lowerS sample_upperS)} (run (..safe "lux text <")) - (case> {#try.Success valueV} + (case> {try.#Success valueV} (:as Bit valueV) - {#try.Failure _} + {try.#Failure _} false))) (_.test "Can get length of text." - (|> {#synthesis.Extension "lux text size" (list sample_lowerS)} + (|> {synthesis.#Extension "lux text size" (list sample_lowerS)} (run (..safe "lux text size")) - (case> {#try.Success valueV} + (case> {try.#Success valueV} (n.= sample_size (:as Nat valueV)) _ false))) (_.test "Can concatenate text." - (|> {#synthesis.Extension "lux text size" (list concatenatedS)} + (|> {synthesis.#Extension "lux text size" (list concatenatedS)} (run (..safe "lux text size")) - (case> {#try.Success valueV} + (case> {try.#Success valueV} (n.= (n.* 2 sample_size) (:as Nat valueV)) _ false))) (_.test "Can find index of sub-text." - (and (|> {#synthesis.Extension "lux text index" + (and (|> {synthesis.#Extension "lux text index" (list concatenatedS sample_lowerS (synthesis.i64 +0))} (run (..safe "lux text index")) - (case> (^multi {#try.Success valueV} + (case> (^multi {try.#Success valueV} [(:as (Maybe Nat) valueV) - {#.Some valueV}]) + {.#Some valueV}]) (n.= 0 valueV) _ false)) - (|> {#synthesis.Extension "lux text index" + (|> {synthesis.#Extension "lux text index" (list concatenatedS sample_upperS (synthesis.i64 +0))} (run (..safe "lux text index")) - (case> (^multi {#try.Success valueV} + (case> (^multi {try.#Success valueV} [(:as (Maybe Nat) valueV) - {#.Some valueV}]) + {.#Some valueV}]) (n.= sample_size valueV) _ false)))) (let [test_clip (: (-> (I64 Any) (I64 Any) Text Bit) (function (_ offset length expected) - (|> {#synthesis.Extension "lux text clip" + (|> {synthesis.#Extension "lux text clip" (list concatenatedS (synthesis.i64 offset) (synthesis.i64 length))} (run (..safe "lux text clip")) - (case> (^multi {#try.Success valueV} + (case> (^multi {try.#Success valueV} [(:as (Maybe Text) valueV) - {#.Some valueV}]) + {.#Some valueV}]) (text\= expected valueV) _ @@ -270,13 +270,13 @@ (and (test_clip 0 sample_size sample_lower) (test_clip sample_size sample_size sample_upper)))) (_.test "Can extract individual characters from text." - (|> {#synthesis.Extension "lux text char" + (|> {synthesis.#Extension "lux text char" (list sample_lowerS (synthesis.i64 char_idx))} (run (..safe "lux text char")) - (case> (^multi {#try.Success valueV} + (case> (^multi {try.#Success valueV} [(:as (Maybe Int) valueV) - {#.Some valueV}]) + {.#Some valueV}]) (text.contains? ("lux i64 char" valueV) sample_lower) @@ -290,51 +290,51 @@ [message (r.ascii/alpha 5)] ($_ _.and (_.test "Can log messages." - (|> {#synthesis.Extension "lux io log" + (|> {synthesis.#Extension "lux io log" (list (synthesis.text (format "LOG: " message)))} (run (..safe "lux io log")) - (case> {#try.Success valueV} + (case> {try.#Success valueV} true - {#try.Failure _} + {try.#Failure _} false))) (_.test "Can throw runtime errors." - (and (|> {#synthesis.Extension "lux try" + (and (|> {synthesis.#Extension "lux try" (list (synthesis.function/abstraction - [#synthesis.environment (list) - #synthesis.arity 1 - #synthesis.body {#synthesis.Extension "lux io error" + [synthesis.#environment (list) + synthesis.#arity 1 + synthesis.#body {synthesis.#Extension "lux io error" (list (synthesis.text message))}]))} (run (..safe "lux try")) - (case> (^multi {#try.Success valueV} + (case> (^multi {try.#Success valueV} [(:as (Try Text) valueV) - {#try.Failure error}]) + {try.#Failure error}]) (text.contains? message error) _ false)) - (|> {#synthesis.Extension "lux try" + (|> {synthesis.#Extension "lux try" (list (synthesis.function/abstraction - [#synthesis.environment (list) - #synthesis.arity 1 - #synthesis.body (synthesis.text message)]))} + [synthesis.#environment (list) + synthesis.#arity 1 + synthesis.#body (synthesis.text message)]))} (run (..safe "lux try")) - (case> (^multi {#try.Success valueV} + (case> (^multi {try.#Success valueV} [(:as (Try Text) valueV) - {#try.Success valueV}]) + {try.#Success valueV}]) (text\= message valueV) _ false)))) (_.test "Can obtain current time in milli-seconds." - (|> (synthesis.tuple (list {#synthesis.Extension "lux io current-time" (list)} - {#synthesis.Extension "lux io current-time" (list)})) + (|> (synthesis.tuple (list {synthesis.#Extension "lux io current-time" (list)} + {synthesis.#Extension "lux io current-time" (list)})) (run (..safe "lux io current-time")) - (case> {#try.Success valueV} + (case> {try.#Success valueV} (let [[pre post] (:as [Nat Nat] valueV)] (n.>= pre post)) - {#try.Failure _} + {try.#Failure _} false))) ))) -- cgit v1.2.3