Search found 32 matches

by kevinhely
Fri Sep 11, 2020 11:32 am
Forum: Oberon Language
Topic: Type compatibility rules summary.
Replies: 2
Views: 11737

Re: Type compatibility rules summary.

Hi, I think you're referring to a question I posted but then deleted because I discovered it had already been answered earlier on this forum. The summary you link to mixes up types and type identifiers, and defines "same type" for two variables but then uses the term "same type" in a context that do...
by kevinhely
Fri Sep 06, 2019 4:26 pm
Forum: Oberon Language
Topic: Another clarification about local names
Replies: 3
Views: 98626

Re: Another clarification about local names

I would have thought so but it contradicts the quoted statement.
by kevinhely
Thu Sep 05, 2019 9:41 pm
Forum: Oberon Language
Topic: Another clarification about local names
Replies: 3
Views: 98626

Another clarification about local names

Hi again, The language definition states: The use of the procedure identifier in a call within its declaration implies recursive activation of the procedure. That would seem to rule this out as legitimate code: PROCEDURE P; PROCEDURE P; END P; (*local*) BEGIN P (*which P does this refer to?*) END P;...
by kevinhely
Sun Sep 01, 2019 9:40 pm
Forum: Oberon Language
Topic: Looking for clarification: local procedures cannot call local procedures, right?
Replies: 5
Views: 22972

Re: Looking for clarification: local procedures cannot call local procedures, right?

Thanks for that. Yes, from the latest revision of the report: In addition to its formal parameters and locally declared objects, the objects declared globally are also visible in the procedure agrees with the quote you gave from PO2013, if the phrase "locally declared objects" means "objects declare...
by kevinhely
Sat Aug 31, 2019 2:05 pm
Forum: Oberon Language
Topic: Looking for clarification: local procedures cannot call local procedures, right?
Replies: 5
Views: 22972

Re: Looking for clarification: local procedures cannot call local procedures, right?

Ok, thanks for that. An interesting discussion. I need to get on that list!
by kevinhely
Fri Aug 30, 2019 2:12 am
Forum: Oberon Language
Topic: Looking for clarification: local procedures cannot call local procedures, right?
Replies: 5
Views: 22972

Looking for clarification: local procedures cannot call local procedures, right?

Hi, The following code: PROCEDURE P;  PROCEDURE Q; (*local*)    ...  END Q;  PROCEDURE R; (*local*)  BEGIN    ...    Q    ...  END R; END P; is disallowed by the definition of Oberon07, that is, local procedure R cannot call local procedure Q, since the identifier Q is not local to R and not global....
by kevinhely
Mon May 02, 2016 6:45 pm
Forum: Oberon Language
Topic: Oberon Report Update 2016-05-01
Replies: 33
Views: 181854

Re: Oberon Report Update 2016-05-01

Can an open array be the target of an assignment? From the Report: "The type of the expression must be the same as that of the designator" and "Strings can be assigned to any array of characters..." Here's a question: if an open array is assigned to an array of equal base type but shorter length, i...
by kevinhely
Sun May 01, 2016 6:48 pm
Forum: Oberon Language
Topic: Oberon Report Update 2016-05-01
Replies: 33
Views: 181854

Re: Oberon Report Update 2016-05-01

(I assume that qualident still cannot be a basic type.)
Why? INTEGER is a qualident.
by kevinhely
Fri Mar 04, 2016 5:27 pm
Forum: Oberon Language
Topic: Oberon Report update
Replies: 3
Views: 26210

Oberon Report update

The Oberon report has been updated. <= and >= no longer apply to SET arguments AFAICS. (See section 8.2.4)
by kevinhely
Tue Nov 05, 2013 5:48 pm
Forum: Oberon Language
Topic: Nested procedures
Replies: 23
Views: 127401

Re: Nested procedures

Langugae report is now much clear
Hmm. I think the report should say:
In addition to its formal parameters and locally declared objects, the objects declared globally are also visible in the procedure (except objects whose identifiers coincide with those of locally declared objects).