M2compiler-V3/docs/gaps/gap07_convert.mod

MODULE Gap07Convert;
(* GAP gap07-convert-builtin: CONVERT(T, x) is not implemented.
   Corpus: procconv2.
   EXPECT: undeclared identifier (CONVERT). *)
FROM SYSTEM IMPORT ADDRESS;
PROCEDURE foo; BEGIN END foo;
VAR a : ADDRESS;
BEGIN a := CONVERT(ADDRESS, foo) END Gap07Convert.