ISO Pascal reference manual

Appendix A
a type is used to select an object from a number of objects an ordinal type is
required. This message is issued when the identifier of such a type is needed
but has not been given.
PROGRAM fail;
VAR a : ARRAY [2..8] OF integer;
PROCEDURE p(w : ARRAY [min..max:real] OF integer);
(real is not an ordinal type 11
BEGIN
END;
BEGIN
p(a);
END.
*ERROR 66 -- the type of result returns must be defined here
< name> is being defined as a function which means that when it is
invoked it will return a value as its result. The type of that result must be
specified at the indicated point.
PROGRAM fail;
FUNCTION unknown(x:integer); BEGIN
(result type here 1}
unknown := x-1;
END;
BEGIN
END.
*ERROR 67 -- the type of was given in a previous FORWARD
declaration and must not be repeated here
< name > has already been declared as a function in a FORWARD
declaration at which time the type of result it returns must have been
defined. The current statement is the actual definition of the function. Sadly
Pascal forbids the repetition of the result type under these circumstances.
Pascal Issue 1 67