diff options
author | Eduardo Julian | 2020-12-02 06:42:20 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-12-02 06:42:20 -0400 |
commit | 34e310622bdeb1d0588c0664c0e78cbaa84f837c (patch) | |
tree | eb7c04185b57c781f45d0ccdb955bc9afc2aa8dc /stdlib/source/spec/compositor/generation/case.lux | |
parent | 982a19e0c5d57b53f9726b780fec4c18f0787b4f (diff) |
Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the convention that only macros that deal with types may start with a colon.
Diffstat (limited to 'stdlib/source/spec/compositor/generation/case.lux')
-rw-r--r-- | stdlib/source/spec/compositor/generation/case.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/spec/compositor/generation/case.lux b/stdlib/source/spec/compositor/generation/case.lux index 908fef201..958110ce4 100644 --- a/stdlib/source/spec/compositor/generation/case.lux +++ b/stdlib/source/spec/compositor/generation/case.lux @@ -32,7 +32,7 @@ (def: size (Random Nat) - (|> r.nat (:: r.monad map (|>> (n.% ..limit) (n.max 2))))) + (|> r.nat (\ r.monad map (|>> (n.% ..limit) (n.max 2))))) (def: (tail? size idx) (-> Nat Nat Bit) @@ -66,7 +66,7 @@ [(r.unicode 5) synthesis.text synthesis.path/text])) (do {! r.monad} [size ..size - idx (|> r.nat (:: ! map (n.% size))) + idx (|> r.nat (\ ! map (n.% size))) [subS subP] case #let [unitS (synthesis.text synthesis.unit) caseS (synthesis.tuple @@ -81,7 +81,7 @@ (wrap [caseS caseP])) (do {! r.monad} [size ..size - idx (|> r.nat (:: ! map (n.% size))) + idx (|> r.nat (\ ! map (n.% size))) [subS subP] case #let [right? (tail? size idx) caseS (synthesis.variant @@ -249,7 +249,7 @@ (_.test "===" (and (text\= (synthesis.%path special-path) (synthesis.%path special-pattern-path)) - (:: synthesis.path-equivalence = special-path special-pattern-path))) + (\ synthesis.path-equivalence = special-path special-pattern-path))) (_.test "CODE" (|> special-input (run "special-input") |