M2compiler-V3/docs/gaps/gap22_file_line.mod

MODULE Gap22FileLine;
(* NOT standard Modula-2: __FILE__ / __LINE__ predefined constants (a
   gm2 extension; classic identifiers cannot contain '_').  Class:
   gm2-ext.
   Corpus: packed.
   V3: invalid Fact (`_` is not a legal identifier character). *)
VAR n : CARDINAL;
BEGIN
  n := __LINE__
END Gap22FileLine.