MODULE Gap15QualifiedImport;
(* Modula-2 gap (ISO import/export): a qualified access to an enum
   literal reached through a re-exported type.  Class: iso/system.
   Corpus: impf, impk, impl, impq.
   V3: undeclared identifier. *)
IMPORT Gap15Lib;
VAR a : Gap15Lib.Colour;
BEGIN a := Gap15Lib.red END Gap15QualifiedImport.