Astrobe Forum

Isn't REAL a predeclared type so that REAL = INTEGER is a redeclaration? It's a predefined type e.g. like ABS . It is not a reserved word like BEGIN . e.g. in earlier versions of Oberon-07 you could have written: PROCEDURE REAL(i: INTEGER); BEGIN END REAL; Section 6.1 states 6.1. Basic types The fo...

(I assume that qualident still cannot be a basic type.) qualident can be a basic type. There is an example of this use in the FileDir module in Project Oberon 2013 : DiskAdr = INTEGER; It is even possible to write REAL = INTEGER; but I wouldn't recommend it ;) This feature, i.e. being able to renam...

Langugae report is now much clear. I think new compiler should also report an error when MODULE Nested; PROCEDURE Level1; PROCEDURE Level2A; BEGIN END Level2A; PROCEDURE Level2B; (* open a new scope here: only local, formal parameters and global objects are visible *) BEGIN Level2A (* compiler shoul...

According to Oberon 2007 report 2011 revision 4. Declarations and scope rules ... The scope extends textually from the point of the declaration to the end of the block (procedure or module) to which the declaration belongs and hence to which the object is local. ... 10. Procedure declarations ... In...