File tree Expand file tree Collapse file tree 1 file changed +7
-2
lines changed Expand file tree Collapse file tree 1 file changed +7
-2
lines changed Original file line number Diff line number Diff line change @@ -195,6 +195,10 @@ address ::= i32 | i64
195
195
Such instructions also take the memory to which to read or write as an
196
196
immediate.
197
197
198
+ Although ` stringref ` is a nullable type, trap if a null ` stringref `
199
+ value reaches any instruction in this proposal. The one exception is
200
+ ` string.eq ` .
201
+
198
202
### Creating strings
199
203
200
204
```
@@ -346,8 +350,9 @@ If an allocation fails, the implementation must trap. Fallible
346
350
```
347
351
(string.eq a:stringref b:stringref) -> i32
348
352
```
349
- Return 1 if the strings * ` a ` * and * ` b ` * contain the same codepoint
350
- sequence. Return 0 otherwise.
353
+ If both * ` a ` * and * ` b ` * are null, return 1. If only one of them is
354
+ null, return 0. Otherwise return 1 if the strings * ` a ` * and * ` b ` *
355
+ contain the same codepoint sequence, or 0 otherwise.
351
356
352
357
```
353
358
(string.is_usv_sequence str:stringref)
You can’t perform that action at this time.
0 commit comments