diff options
author | Eduardo Julian | 2017-04-12 21:07:23 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-04-12 21:07:23 -0400 |
commit | 962502e64dc170088af133470eb878d7dd0e8d4c (patch) | |
tree | 474ba3e6a95a7db5959972ff449bc157511e4393 /stdlib/source/lux.lux | |
parent | 534c76a868f35c2eecc13e60df343e12faf84f47 (diff) |
- Simplified some of the documentation and error messages.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux.lux | 28 |
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> |