diff options
| author | Eduardo Julian | 2021-07-27 03:51:10 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-27 03:51:10 -0400 |
| commit | 061fd8a209bbcaffc2bfb850ac6046752a567d50 (patch) | |
| tree | 8cd83ad7d0bc06ded7976eb5420467e485733ae8 /stdlib/source/specification/compositor/analysis/type.lux | |
| parent | e64b6d0114c26a455e19a416b5f02a4d19dd711f (diff) | |
Re-named wrap => in && unwrap => out.
Diffstat (limited to 'stdlib/source/specification/compositor/analysis/type.lux')
| -rw-r--r-- | stdlib/source/specification/compositor/analysis/type.lux | 10 |
1 files changed, 5 insertions, 5 deletions
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] |