M2compiler-V3/docs/gaps/gap15a_qualified_import.mod

MODULE Gap15QualifiedImport;
(* GAP gap15a-qualified-import: a qualified access to an enum literal
   reached through a *re-exported* type.  Corpus: impf, impk, impl,
   impq.
   EXPECT: undeclared identifier at Gap15Lib.red. *)
IMPORT Gap15Lib;
VAR a : Gap15Lib.Colour;
BEGIN a := Gap15Lib.red END Gap15QualifiedImport.