PR# 19826 Invalid free operators but valid alias declarations
Problem Report Summary
Submitter: gobobe
Category: Compiler
Priority: Low
Date: 2021/12/29
Class: Bug
Severity: Non-critical
Number: 19826
Release: 21.11
Confidential: No
Status: Open
Responsible:
Environment: win
Synopsis: Invalid free operators but valid alias declarations
Description
The compiler will reject invalid aliases such as: ~~~~~~~~~~~~ f alias ";": INTEGER ~~~~~~~~~~~~ But it accepts this one: ~~~~~~~~~~~~ g alias "∀": INTEGER ~~~~~~~~~~~~ even though it is not valid to write: ~~~~~~~~~~~~ i := ∀ foo ~~~~~~~~~~~~ I think that `alias "∀"` should be rejected by the compiler. Likewise, with the standard syntax level it is not possible anymore to write: ~~~~~~~~~~~~ i := @ foo ~~~~~~~~~~~~ So the following should be rejected by the compiler: ~~~~~~~~~~~~ g alias "@": INTEGER ~~~~~~~~~~~~ -- Eric Bezault
To Reproduce
Problem Report Interactions