From a7ceb7c55c4e7b7c481be72612204229dca8859a Mon Sep 17 00:00:00 2001 From: Jakub Pavlik Date: Fri, 11 Apr 2025 01:10:51 +0200 Subject: [PATCH] Update Eiffel to compile on recent Eiffel compilers (tested Gobo Eiffel , Liberty Eiffel) --- e/Eiffel.eiff | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/e/Eiffel.eiff b/e/Eiffel.eiff index dac7cffc1..e5a59f525 100644 --- a/e/Eiffel.eiff +++ b/e/Eiffel.eiff @@ -1,18 +1,18 @@ -indexing "Hello World in Eiffel , from http://roesler-ac.de/wolfram/hello.htm#Eiffel" +note + + description: "Hello World in Eiffel" class HELLO -creation +create run feature - run is - local - io : BASIC_IO; + run do - !!io; - io.put_string("Hello World"); - io.put_newline - end; -- run -end; -- class HELLO + io.put_string ("Hello World") + io.put_new_line + end -- run + +end -- class HELLO