aboutsummaryrefslogtreecommitdiff
path: root/AstSemantics.md
diff options
context:
space:
mode:
authorDan Gohman <sunfish@mozilla.com>2015-12-02 10:29:30 -0800
committerDan Gohman <sunfish@mozilla.com>2015-12-02 10:29:30 -0800
commit1bfcecb88a6aa5a8c0a95e8a1aadf20adba66486 (patch)
treefa193ba4f5c5f8ac87096d612313d978df88cf59 /AstSemantics.md
parentb621477e213c9ad8e276239e1f7c44aea85fe55b (diff)
downloadnanowasm-design-1bfcecb88a6aa5a8c0a95e8a1aadf20adba66486.tar.gz
Reorder select's operands to put the condition last.
Diffstat (limited to 'AstSemantics.md')
-rw-r--r--AstSemantics.md7
1 files changed, 3 insertions, 4 deletions
diff --git a/AstSemantics.md b/AstSemantics.md
index 43d562a..9020337 100644
--- a/AstSemantics.md
+++ b/AstSemantics.md
@@ -550,10 +550,9 @@ outside the range which rounds to an integer in range) traps.
## Type-parameterized operators.
- * `select`: a ternary operator with a boolean (i32) condition and two
- additional operands, which must have the same type as each other. `select`
- returns the the first of these two operands if the condition operand is
- non-zero, or the second otherwise.
+ * `select`: a ternary operator with two operands, which have the same type as
+ each other, plus a boolean (i32) condition. `select` returns the first
+ operand if the condition operand is non-zero, or the second otherwise.
## Feature test