diff --git a/typechecker/en/modules/expressions.xml b/typechecker/en/modules/expressions.xml
index 0b7357d8564..aedbb1e214e 100644
--- a/typechecker/en/modules/expressions.xml
+++ b/typechecker/en/modules/expressions.xml
@@ -2044,23 +2044,12 @@ Digit{1,2} ":" Digit{2} ( ":" Digit{2} ( ":" Digit{3} )? )?
In the tables, the following pseudo-code is used, which is not legal
Ceylon syntax:
- First,
-
if (b) then x else y //pseudocode
means the value of result after execution of the
following:
X result; if (b) { result=x; } else { result=y; }
-
- Second,
-
- let t=x in y //pseudocode
-
- means the value of result after execution of the
- following:
-
- X t = x; Y result=y;
@@ -2243,7 +2232,7 @@ Digit{1,2} ":" Digit{2} ( ":" Digit{2} ( ":" Digit{3} )? )?
lhs in rhs
in
- let x=lhs in rhs.contains(x)
+ let (x=lhs) rhs.contains(x)
Object
Category
Boolean
@@ -2298,19 +2287,19 @@ Digit{1,2} ":" Digit{2} ( ":" Digit{2} ( ":" Digit{3} )? )?
l<x<u means
- let t=x in l<t && t<u,
+ let (t=x) l<t && t<u,
l<=x<u means
- let t=x in l<=t && t<u,
+ let (t=x) l<=t && t<u,
l<x<=u means
- let t=x in l<t && t<=u, and
+ let (t=x) l<t && t<=u, and
l<=x<=u means
- let t=x in l<=t && t<=u
+ let (t=x) l<=t && t<=u