diff options
| author | Eduardo Julian | 2017-09-19 22:33:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-09-19 22:33:54 -0400 |
| commit | 7eb6d767daa24d08d609bad83d82985ffb32c762 (patch) | |
| tree | d4e3aa54456cbd6d6b58a32789d87234c2d68cfa /stdlib/source/lux/type/opaque.lux | |
| parent | 10fba6ef74d8d454f8e8776aa31d2c5cd250909e (diff) | |
- Changed the terminology of monoids ("append" -> "compose", "unit" -> "identity").
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/type/opaque.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/lux/type/opaque.lux b/stdlib/source/lux/type/opaque.lux index 4dae66f11..b162ae79b 100644 --- a/stdlib/source/lux/type/opaque.lux +++ b/stdlib/source/lux/type/opaque.lux @@ -55,7 +55,7 @@ (def: representation-name (-> Text Text) - (|>. ($_ text/append "{" kind "@" module "}") + (|>. ($_ text/compose "{" kind "@" module "}") (let [[module kind] (ident-for #;;Representation)]))) (def: (install-casts' this-module-name name type-vars) @@ -77,7 +77,7 @@ (~ value))))) _ - (macro;fail ($_ text/append "Wrong syntax for " down-cast))))]))) + (macro;fail ($_ text/compose "Wrong syntax for " down-cast))))]))) (update@ #;defs (put up-cast (: Def [Macro macro-anns (function [tokens] @@ -89,7 +89,7 @@ (~ value))))) _ - (macro;fail ($_ text/append "Wrong syntax for " up-cast))))]))))]] + (macro;fail ($_ text/compose "Wrong syntax for " up-cast))))]))))]] (function [compiler] (#R;Success [(update@ #;modules (put this-module-name this-module) compiler) []])))) @@ -118,7 +118,7 @@ (wrap (list))) _ - (macro;fail ($_ text/append + (macro;fail ($_ text/compose "Cannot temporarily define casting functions (" down-cast " & " up-cast ") because definitions like that already exist."))))) @@ -135,7 +135,7 @@ (wrap (list))) _ - (macro;fail ($_ text/append + (macro;fail ($_ text/compose "Cannot un-define casting functions (" down-cast " & " up-cast ") because they do not exist."))))) @@ -160,5 +160,5 @@ (` (type: (~@ (csw;export export)) (~ representation-declaration) (~ representation-type))) (` (install-casts (~ (code;local-symbol name)) [(~@ type-varsC)])) - (L/append primitives - (list (` (un-install-casts)))))))) + (L/compose primitives + (list (` (un-install-casts)))))))) |