From 0d909187d5b9effcd08f533d50af7d29c0d6bfd8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 8 Apr 2022 05:42:36 -0400
Subject: De-sigil-ification: $

---
 .../specification/compositor/analysis/type.lux     | 40 +++++++++++-----------
 1 file changed, 20 insertions(+), 20 deletions(-)

(limited to 'stdlib/source/specification/compositor/analysis/type.lux')

diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index c51f0cced..b84e18888 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -35,30 +35,30 @@
 
 (def: check
   (Random [Code Type Code])
-  (`` ($_ r.either
-          (~~ (template [<random> <type> <code>]
-                [(do r.monad
-                   [value <random>]
-                   (in [(` <type>)
-                        <type>
-                        (<code> value)]))]
+  (`` (all r.either
+           (~~ (template [<random> <type> <code>]
+                 [(do r.monad
+                    [value <random>]
+                    (in [(` <type>)
+                         <type>
+                         (<code> value)]))]
 
-                [r.bit {0 #0 "#Bit" {0 #0}} code.bit]
-                [r.nat {0 #0 "#I64" {0 #1 {0 #0 "#Nat" {0 #0}} {0 #0}}} code.nat]
-                [r.int {0 #0 "#I64" {0 #1 {0 #0 "#Int" {0 #0}} {0 #0}}} code.int]
-                [r.rev {0 #0 "#I64" {0 #1 {0 #0 "#Rev" {0 #0}} {0 #0}}} code.rev]
-                [r.safe_frac {0 #0 "#Frac" {0 #0}} code.frac]
-                [(r.ascii/upper_alpha 5) {0 #0 "#Text" {0 #0}} code.text]
-                )))))
+                 [r.bit {0 #0 "#Bit" {0 #0}} code.bit]
+                 [r.nat {0 #0 "#I64" {0 #1 {0 #0 "#Nat" {0 #0}} {0 #0}}} code.nat]
+                 [r.int {0 #0 "#I64" {0 #1 {0 #0 "#Int" {0 #0}} {0 #0}}} code.int]
+                 [r.rev {0 #0 "#I64" {0 #1 {0 #0 "#Rev" {0 #0}} {0 #0}}} code.rev]
+                 [r.safe_frac {0 #0 "#Frac" {0 #0}} code.frac]
+                 [(r.ascii/upper_alpha 5) {0 #0 "#Text" {0 #0}} code.text]
+                 )))))
 
 (def: .public (spec expander state)
   (-> Expander State+ Test)
   (do r.monad
     [[typeC exprT exprC] ..check
      [other_typeC other_exprT other_exprC] ..check]
-    ($_ _.and
-        (_.test "lux check"
-                (check_success+ expander state "lux check" (list typeC exprC) exprT))
-        (_.test "lux coerce"
-                (check_success+ expander state "lux coerce" (list typeC other_exprC) exprT))
-        )))
+    (all _.and
+         (_.test "lux check"
+                 (check_success+ expander state "lux check" (list typeC exprC) exprT))
+         (_.test "lux coerce"
+                 (check_success+ expander state "lux coerce" (list typeC other_exprC) exprT))
+         )))
-- 
cgit v1.2.3