Language Change Specification for Repair LRM Example 5.6.3 Proposal

LCS Number: LCS-2016-I09
Version: 1
Date: Nov-30-2016
Status:
Author: Kevin Jennings
Email: KevinJennings
Source Doc: Repair example in Section 5.6.3
Summary: Repair example in Section 5.6.3

Voting Results: Cast your votes here

Yes:

  1. Kevin Jennings - 2016-11-30 - ver 1
  2. Patrick Lehmann - 2016-12-09 - ver 1
  3. Martin Thompson - 2016-12-12 - ver 1
  4. Thomas Preusser - 2016-12-15 - ver 1
  5. Ryan Hinton - 2016-12-19 - ver 1
  6. Martin Zabel - 2017-01-19 - ver 1
  7. Farrell Ostler - 2017-02-01 - ver 1

  8. Jim Lewis - 2017-02-06 - ver 1

No:

Abstain:

  1. Brent Hayhoe - 2017-02-16 Version 1 - Abstain due to lack of personal time for review.

Style Notes

Changes are shown in red font.
Deletions are crossed out.
Editing or reviewing notes in green font.

Reviewing Notes

The protected type declared in 5.6.2 declares
procedure extract (variable r, i: out Real);
but the procedure body in 5.6.3 misses the variable reserved word.

Details of Language Change

LRM 5.6.3 page 60 (Adobe page 74 of 640) near middle

procedure extract (variable r, i: out Real) is

Comments

I concur with Brent in the proposal. Variable is the default. Hence, it is not needed. OTOH, it is still correct with it and I prefer to have the keyword there, so I only abstain.

-- Jim Lewis - 2017-02-06

@Jim, @Brent I added more context for this LCS. The procedure body refers to the declaration in 5.6.2, where the parameter class was explicit defined as variable. Subprogram declarations and bodies must be lexical conformant.

-- Patrick Lehmann - 2017-02-06

Topic revision: r15 - 2017-04-02 - 16:32:55 - PatrickLehmann
 
Copyright © 2008-2026 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback