aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--docs/LangRef.html5
1 files changed, 2 insertions, 3 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html
index 1c744d2..4838c7a 100644
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -2055,11 +2055,10 @@ no-return function cannot be reached, and other facts.</p>
<div class="doc_subsection"> <a name="binaryops">Binary Operations</a> </div>
<div class="doc_text">
<p>Binary operators are used to do most of the computation in a
-program. They require two operands, execute an operation on them, and
+program. They require two operands of the same type, execute an operation on them, and
produce a single value. The operands might represent
multiple data, as is the case with the <a href="#t_vector">vector</a> data type.
-The result value of a binary operator is not
-necessarily the same type as its operands.</p>
+The result value has the same type as its operands.</p>
<p>There are several different binary operators:</p>
</div>
<!-- _______________________________________________________________________ -->