From 72ba183004449853f9d8ee5319d0fa338879cdcb Mon Sep 17 00:00:00 2001
From: eiffel-org <eiffel-org@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Wed, 1 Jun 2016 08:34:42 +0000
Subject: [PATCH] Update wikipage Major changes between ISE Eiffel 15.12 and
 ISE Eiffel 16.05.	(Signed-off-by:alexk).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1573 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 ...ISE-Eiffel-15.12-and-ISE-Eiffel-16.05.wiki | 65 +++++++++----------
 1 file changed, 32 insertions(+), 33 deletions(-)

diff --git a/documentation/trunk/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/Major-changes-between-ISE-Eiffel-15.12-and-ISE-Eiffel-16.05.wiki b/documentation/trunk/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/Major-changes-between-ISE-Eiffel-15.12-and-ISE-Eiffel-16.05.wiki
index 274df669..cd8f0693 100644
--- a/documentation/trunk/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/Major-changes-between-ISE-Eiffel-15.12-and-ISE-Eiffel-16.05.wiki
+++ b/documentation/trunk/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/Major-changes-between-ISE-Eiffel-15.12-and-ISE-Eiffel-16.05.wiki
@@ -16,36 +16,36 @@ This is achieved as follows:
 
 The change allows dropping explicit detachable marks in local declarations and simplifying the code that uses Result, e.g.
 <code>
-	foo: X
-		local
-			r: detachable X
-		do
-			r := something
-			if not attached r then
-				r := something_else_attached
-			end
-			Result := r
+foo: X
+	local
+		r: detachable X
+	do
+		r := something
+		if not attached r then
+			r := something_else_attached
 		end
+		Result := r
+	end
 
-	foo: X
-		do
-			if attached something as r then
-				Result := r
-			else
-				Result := something_else_attached
-			end
+foo: X
+	do
+		if attached something as r then
+			Result := r
+		else
+			Result := something_else_attached
 		end
+	end
 </code>
 
 into
 <code>
-	foo: X
-		do
-			Result := something
-			if not attached Result then
-				Result := something_else_attached
-			end
+foo: X
+	do
+		Result := something
+		if not attached Result then
+			Result := something_else_attached
 		end
+	end
 </code>
 
 The change does not allow previously void-unsafe code to be treated as void-safe, but may affect errors reported by the compiler, in particular:
@@ -76,18 +76,17 @@ The change does not allow previously void-unsafe code to be treated as void-safe
 * Fix invalid type checking error when using a manifest array in an across loop when some special crafted code appears before (see eweasel test#valid288) as in:
 
 <code>
-	failure
-		local
-			i: INTEGER
-		do
-			bar (Void).make_from_array (Void)               -- Comment out this line to fix the bug.
-			
-			across
-				<<1, 2, 3>> as c_i
-			loop
-				i := c_i.item                                   -- Error here.
-			end
+failure
+	local
+		i: INTEGER
+	do
+		bar (Void).make_from_array (Void)               -- Comment out this line to fix the bug.
+		across
+			<<1, 2, 3>> as c_i
+		loop
+			i := c_i.item                                   -- Error here.
 		end
+	end
 </code>
 
 * Fix .NET code generation to generate verifiable code when converting a manifest integer constant compatible with a NATURAL_64 (see eweasel test#dotnet118)