From 77bd054713bc698a67ccc38a0b6fe07ffc161381 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 30 Aug 2021 15:28:04 -0400 Subject: =?UTF-8?q?Use=20=F0=9D=95=A9=20as=20the=20error=20message=20in=20?= =?UTF-8?q?!=F0=9D=95=A9?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- spec/primitive.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'spec') 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. -- cgit v1.2.3