aboutsummaryrefslogtreecommitdiff
path: root/spec/primitive.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-08-30 15:28:04 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-08-30 15:28:04 -0400
commit77bd054713bc698a67ccc38a0b6fe07ffc161381 (patch)
tree46274db054b50e9388751412e86dd2c5ce4d39f1 /spec/primitive.md
parent2187c15b54f8b2803586e0abdb7c7bc94daa83eb (diff)
Use 𝕩 as the error message in !𝕩
Diffstat (limited to 'spec/primitive.md')
-rw-r--r--spec/primitive.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/primitive.md b/spec/primitive.md
index 360c8629..37132ead 100644
--- a/spec/primitive.md
+++ b/spec/primitive.md
@@ -73,7 +73,7 @@ Inferred properties are specified in [their own document](inferred.md), not in t
## Other provided functionality
-- **Assert** (`!`) causes an error if the argument is not `1`. If `𝕨` is provided, it gives a message to be associated with this error (which can be any value, not necessarily a string).
+- **Assert** (`!`) causes an error if `𝕩` is not `1`. The message associated with the error (which is not used by core BQN but might be shown to the user or used by system functions) is `𝕨` if given and `𝕩` otherwise. It can be any value, not just a string.
- **Catch** (`⎊`) evaluates `𝔽` on the arguments `𝕨` (if present) and `𝕩`. If `𝔽` completes without error it returns the result, but if evaluation of `𝔽` results in an error then the error is suppressed, and Catch evaluates `𝔾` on the arguments and returns the result. Errors in `𝔾` are not caught. Catch only prevents evaluation errors, and not syntax errors: these are considered errors in the program as a whole rather than any particular part of it.