[M3devel] unused warning isn't transitive

[Jay K]

TYPE Int32Rec = BITS 32 FOR RECORD v : Swap.Int32 END; 
(* We need v to be inside a record.  Otherwise, the language would allow
   a compiler to actually allocate more than the BITS 32 for a value of
   type Swap.Int32.
*) 
VAR Int32RecVar : Int32Rec; 
VAR CheckInt32 : [ 0 .. 0 ] := ADR(Int32RecVar) - ADR(Int32RecVar.v);
 
 
Compiler complains that CheckInt32 isn't used.
It should also perhaps mention Int32RecVar therefore.
 
 
 - Jay