Quelle 2022-12-06-EvalString-syntax-error.tst
Sprache: unbekannt
|
|
# make sure that syntax error messages during EvalString are displayed correctly
# See https://github.com/gap-system/gap/issues/5242
gap> EvalString( "(1" );
Syntax error: ) expected in stream:1
_EVALSTRINGTMP:=(1;
^
Error, Could not evaluate string.
[ Dauer der Verarbeitung: 0.25 Sekunden
(vorverarbeitet)
]
|
2026-03-28
|