Bulletin number: 134
Products affected: D700D
Description: Scope of protocol definitions 
Component: THE COMPILER UTILITY SET 
Date: Tue May 15 17:00:00 GMT 1990
-----

The checking of equivalence of protocols between declarations
and calls of separately compiled procedures is by name only, and so it
is possible to construct erroneous programs such as the following which
are not rejected by the compiler. 

PROTOCOL strange.prot IS INT:
       SC
PROTOCOL strange.prot IS REAL32:
PROC fred (CHAN OF strange.prot) in
  REAL32 x:
  in ? x
:
   
SEQ
  CHAN OF INT c1:
  fred(c1)           -- this should be rejected
  CHAN OF strange.prot c2:
  fred(c2)           -- and so should this