Hello,

I have released a new version of Seed7: seed7_05_20070319.tgz

In the Seed7 programming language new statements and operators
can be declared easily. Types are first class objects and therefore
templates/generics need no special syntax. Object orientation is
used when it brings advantages and not in places when other
solutions are more obvious.

Seed7 is covered by the GPL (and LGPL for the Seed7 runtime library).

Changelog:
- The interpreter was changed to execute programs only when they
have no errors.
- The option -x to execute programs, even when they have errors, was
added to the interpreter.
- The *:= operator for the types integer, float, bigInteger and
bigRational was added.
- The chkbig.sd7 program was improved to check the *:= operator for
big integers.
- The compiler was improved to support the *:= operator and the
arr_cat action.
- Several improvements for compile time error messages were done.
- The err.sd7 example program, which checks compile time error
messages, was improved.

Greetings Thomas Mertes

Seed7 Homepage: http://seed7.sourceforge.net
Project page: http://sourceforge.net/projects/seed7

thomas.mertes@gmx.at said:

I believe that's analogous to solving the Halting Problem.

--
Richard Heathfield
"Usenet is a strange place" - dmr 29/7/1999
http://www.cpax.org.uk
email: rjh at the above domain, - www.

On 19 Mrz., 22:14, Richard Heathfield <r...@see.sig.invalid> wrote:
Good point. It should read:

- The interpreter was changed to execute programs only when they
have no compile time errors.

Btw: My next version (seed7_05_20070401.tgz) will contain
new functions:

programDoesNotContainRuntimeErrors
programWillHalt

a new statement:

ifYouDoNotRealizeThatThisIsAJoke

and the interpreter will be improved such that the
endless loop will be executed in 5 seconds.

Greetings Thomas Mertes

Seed7 Homepage: http://seed7.sourceforge.net
Project page: http://sourceforge.net/projects/seed7

thomas.mertes@gmx.at wrote:
That reminds me, Richard was running a test on his system of an
infinite loop, and reporting on it regularly. We haven't received
any of those reports recently. I trust it didn't get interrupted
by a power failure, and require restarting.

--
Chuck F (cbfalconer at maineline dot net)
Available for consulting/temporary embedded and systems.
<http://cbfalconer.home.att.net>



--
Posted via a free Usenet account from http://www.teranews.com

CBFalconer said:

If it could be interrupted by a power failure, it would hardly qualify
as an infinite loop, would it? But it hasn't finished yet. It's only
been going since March 2006. Give it time.

--
Richard Heathfield
"Usenet is a strange place" - dmr 29/7/1999
http://www.cpax.org.uk
email: rjh at the above domain, - www.