aboutsummaryrefslogtreecommitdiffhomepage
path: root/.github
diff options
context:
space:
mode:
authorRobin Haberkorn <robin.haberkorn@googlemail.com>2025-02-02 17:58:20 +0300
committerRobin Haberkorn <robin.haberkorn@googlemail.com>2025-02-15 01:43:17 +0300
commit583eddc3bf4c84f1ff7a88d4e3575835264208fa (patch)
treea9565db5b8a67d5f7bc4ec1a55a5b9e2ed4e717b /.github
parent2843ca269cb59bdf9c544fc5dec343bc7430cf3d (diff)
downloadsciteco-583eddc3bf4c84f1ff7a88d4e3575835264208fa.tar.gz
redefining labels is a warning now
* Allowing label redefinitions might have been useful when used as comments, since you will want to be able to define arbitrary comments. However as flow control constructs, this introduced a certain ambiguity since gotos might jump to different locations, depending on the progression of the parser. * On the other hand, making label redefinition an error might disqualify labels as comments when writing or porting classic TECO code. Therefore, it has been made a warning as a compromise. * Added test case
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions