Format testsuite scripts, pol-core support modules (#713)

* Format escript testsuite

* Manual formatting for escript testsuite
- Add format-off to places where formatter does what it should, but we don't like the results
- Manually change places where formatter outputs weird things _without_ format-off, so next format-all would show changes if not fixed

* Update .err files; add update_err.py helper script

Use the format `:line:col: message` for all .err file checks. This
allows us to change the file names without needing to edit the .err
contents.

Note that `in/inc0{1,2}.err` need have error messages between POSIX and
Windows, so their messages are a bit more "generic" than the other errs.

* Format pol testsuite

* Manual formatting for pol testsuite

* Format pol-core modules

* Manual formatting for pol-core modules

* Additional format pol-core modules

Use FormatterLineWidth=10000 since module functions must be on one line
because of the parse_modules target

* Address Discord comments

- Support multi-line module function declarations in parse_modules

* Format on df07831
This commit is contained in:
Kevin Eady 2024-10-04 10:29:55 +02:00 committed by GitHub
parent 145eb8185b
commit 3ccf701ce9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
787 changed files with 8912 additions and 8525 deletions

View file

@ -5,29 +5,29 @@ var b := "value2";
var c := "value";
/**************************/
if (b[1,5] == c)
print( "1: Success!");
if ( b[1, 5] == c )
print( "1: Success!" );
else
print( "1: Failure!");
print( "1: Failure!" );
endif
if (c == b[1,5])
print( "1: Success!");
if ( c == b[1, 5] )
print( "1: Success!" );
else
print( "1: Failure!");
print( "1: Failure!" );
endif
/**************************/
/**************************/
if (b[1,5] != c)
print( "1: Failure!");
if ( b[1, 5] != c )
print( "1: Failure!" );
else
print( "1: Success!");
print( "1: Success!" );
endif
if (c != b[1,5])
print( "1: Failure!");
if ( c != b[1, 5] )
print( "1: Failure!" );
else
print( "1: Success!");
print( "1: Success!" );
endif
/**************************/