aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux
diff options
context:
space:
mode:
authorEduardo Julian2017-04-12 21:07:23 -0400
committerEduardo Julian2017-04-12 21:07:23 -0400
commit962502e64dc170088af133470eb878d7dd0e8d4c (patch)
tree474ba3e6a95a7db5959972ff449bc157511e4393 /stdlib/source/lux.lux
parent534c76a868f35c2eecc13e60df343e12faf84f47 (diff)
- Simplified some of the documentation and error messages.
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux.lux28
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index 1307231e2..08ef10e51 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -64,7 +64,7 @@
(+1))
(+1 [["lux" "type?"] (+0 true)]
(+1 [["lux" "export?"] (+0 true)]
- (+1 [["lux" "doc"] (+6 "An unusual type that possesses no value, and thus can't be instantiated.")]
+ (+1 [["lux" "doc"] (+6 "An unusual type that possesses no value, and thus cannot be instantiated.")]
(+0)))))
(_lux_def Unit
@@ -198,7 +198,7 @@
(#ExQ (+0) (#BoundT +1)))
(#Cons [["lux" "type?"] (+0 true)]
(#Cons [["lux" "export?"] (+0 true)]
- (#Cons [["lux" "doc"] (+6 "The type of things whose type doesn't matter.
+ (#Cons [["lux" "doc"] (+6 "The type of things whose type does not matter.
It can be used to write functions or data-structures that can take, or return, anything.")]
#Nil))))
@@ -1869,7 +1869,7 @@
(#Right [state module-name])
_
- (#Left "Can't get the module name without a module!")
+ (#Left "Cannot get the module name without a module!")
)))
(macro:' #export (` tokens)
@@ -2845,7 +2845,7 @@
(^ (list& [_ (#FormS patterns)] body branches))
(case patterns
#Nil
- (fail "^or can't have 0 patterns")
+ (fail "^or cannot have 0 patterns")
_
(let' [pairs (|> patterns
@@ -3982,7 +3982,7 @@
(return module)
(case (nth num-ups (split-module-contexts current-module))
#None
- (fail (Text/append "Can't clean module: " module))
+ (fail (Text/append "Cannot clean module: " module))
(#Some top-module)
(return (|> (list& top-module parts') (interpose "/") reverse (fold Text/append ""))))
@@ -5326,7 +5326,7 @@
["Text" Text text$])
_
- (fail (Text/append "Can't anti-quote type: " (Ident/encode name))))))
+ (fail (Text/append "Cannot anti-quote type: " (Ident/encode name))))))
(def: (anti-quote token)
(-> AST (Lux AST))
@@ -5404,7 +5404,7 @@
(-> (List AST) (Lux MultiLevelCase))
(case levels
#;Nil
- (fail "Multi-level patterns can't be empty.")
+ (fail "Multi-level patterns cannot be empty.")
(#;Cons init extras)
(do Monad<Lux>
@@ -5433,7 +5433,7 @@
(match-uri endpoint? parts' uri')
_
- (#;Left (format "Static part " (%t static) " doesn't match URI: " uri)))
+ (#;Left (format "Static part " (%t static) " does not match URI: " uri)))
"Short-cuts can be taken when using boolean tests."
"The example above can be rewritten as..."
@@ -5442,7 +5442,7 @@
(match-uri endpoint? parts' uri')
_
- (#;Left (format "Static part " (%t static) " doesn't match URI: " uri))))}
+ (#;Left (format "Static part " (%t static) " does not match URI: " uri))))}
(case tokens
(^ (list& [_meta (#;FormS levels)] body next-branches))
(do Monad<Lux>
@@ -5532,7 +5532,7 @@
(wrap (list (` (#ExT (~ (nat$ var-id))))))
#;None
- (fail (Text/append "Indexed-type doesn't exist: " (Nat/encode idx)))))
+ (fail (Text/append "Indexed-type does not exist: " (Nat/encode idx)))))
_
(fail "Wrong syntax for $")))
@@ -5663,12 +5663,12 @@
(wrap arg-name)
_
- (fail "Couldn't parse an argument.")))
+ (fail "Could not parse an argument.")))
args')]
(wrap [[name args] tokens']))
_
- (fail "Couldn't parse a complex declaration.")
+ (fail "Could not parse a complex declaration.")
))
(def: (parse-any tokens)
@@ -5678,7 +5678,7 @@
(:: Monad<Lux> wrap [token tokens'])
_
- (fail "Couldn't parse anything.")
+ (fail "Could not parse anything.")
))
(def: (parse-end tokens)
@@ -5703,7 +5703,7 @@
(macro: #export (template: tokens)
{#;doc (doc "Define macros in the style of do-template and ^template."
- "For simple macros that don't need any fancy features."
+ "For simple macros that do not need any fancy features."
(template: (square x)
(i.* x x)))}
(do Monad<Lux>