From 061fd8a209bbcaffc2bfb850ac6046752a567d50 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 27 Jul 2021 03:51:10 -0400
Subject: Re-named wrap => in && unwrap => out.

---
 stdlib/source/specification/compositor/analysis/type.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 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 7cbd5884b..4db867513 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -23,8 +23,8 @@
 (def: (check-success+ expander state extension params output-type)
   (-> Expander State+ Text (List Code) Type Bit)
   (|> (analysis/scope.with-scope ""
-        (analysis/type.with-type output-type
-          (analysis.phase expander (` ((~ (code.text extension)) (~+ params))))))
+                                 (analysis/type.with-type output-type
+                                                          (analysis.phase expander (` ((~ (code.text extension)) (~+ params))))))
       (phase.run state)
       (case> (#try.Success _)
              true
@@ -38,9 +38,9 @@
           (~~ (template [<random> <type> <code>]
                 [(do r.monad
                    [value <random>]
-                   (wrap [(` <type>)
-                          <type>
-                          (<code> value)]))]
+                   (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]
-- 
cgit v1.2.3