Pascal News

Extensions
files that contain files.
Tests 6.6.3.1-5 and 6.6.3.4-2 failed because the current
version of this implementation prohibits passing standard
functions and procedures as parameters.
Test 6.6.5.3-1 failed to assign an already locked tag
field in a variant record, but the standard disallows
such an assignment! (Error in test?)
Test 6.6.5.4-1 failed to pack because of a subscript out
of range. MACC notified.
Test 6.6.6.2-3 failed a nine-digit exp
Univac uses 8 digit floating point.
comparison.
Test 6.6.6.5-2 failed test of ODD function (error with
negative numbers).
Test 6.8.2.4-1 failed because non-local GOTO statements
are not allowed by this implementation.
Test 6.8.3.4-1 failed to compile the "dangling else"
statement, giving an erroneous syntax error.
Tests 6.9.4-1 and 6.9.4-4 failed do unrecoverable I/O error.
Problem referred to MACC.
Test 6.9.4-7 failed to write boolean correctly. UW
right-justifies each boolean in its field; the proposed
ISO standard requires left-justification.
Number of Tests Run:
Deviance Tests
Details of Tests
Test 6.8.3.5-14 shows that an OTHERWISE clause has
implemented in the case stetement.
Number of Deviations Correctly Handled: 77
Number of Deviations Incorrectly Handled: 14
Number of Tests Showing True Extensions: 2
Details £! Extensions
been
Test 6.1.5-6 shows that a lower case e may be used in
real numbers.
Error Handling
Test 6.1.7-11 shows that a null string is accepted by
this implementation.
Details of Incorrect Deviations
as­
Test 6.6.2-5 shows a function declaration without an
signment to the function identifier.
Test 6.8.3.9-4 the for-loop control variable can be modified
by a procedure called within the loop. No error
found by implementation.
Tests 6.8.3.9-9, 6.8.3.9-13 and 6.~.3.9-14 show that a
non-local variable can be used as a for-loop control
variable.
Test 6.9.4-9 shows that a negative field width parameter
in a write statement is accepted. It is mapped to zero.
Test 6.10-1 shows that the implementation substitutes the
default file OUTPUT in the program header. No error message.
Test 6.10-4 shows that the implementation substitutes the
existence of the program statement. We know that the
compiler searched first but found source text (error
correction) •
Tests 6.1.8-5 and 6.6.3.1-4 appear to execute; this occured
after the error corrector made the obvious changes.
Number of Errors Correctly Detected: 29
Number of Error Not Detected: 17
Details of Errors Not Detected
Tests 6.2.1-7, 6.4.3.3-6, 6.4.3.3-7, 6.4.3.3-8 and
6.4.3.3-12 show that the use of an uninitialized variable
is not detected. Variant record fields are not invalidated
when the tag changes. 6.4.3.3-12 incorrectly
printed "PASS" when it should have printed "ERROR NOT
DETECTED" •
Tests 6.2.2-4, 6.3-6, 6.4.1-3 show errors in name scope.
Global values of constants are used even though a local
definition follows; this should cause a compile-time error.
Tests 6.4.5-3, 6.4.5-5 and 6.4.5-13 show that the implementation
considers types that resolve to the same type
to be "equivalent" and can be passed interchangeably to a
procedure.
-0
»
m '"