M2compiler-V3/docs/gaps/gap15b_from_import.mod

MODULE Gap15FromImport;
(* GAP gap15b-from-import: FROM-importing a type should bring its enum
   literals into scope (unqualified).  Corpus: impi.
   EXPECT: undeclared identifier at red/green. *)
FROM Gap15Lib IMPORT Colour;
VAR a : ARRAY [red..green] OF CARDINAL;
BEGIN END Gap15FromImport.