@@ -1,4 +0,0 @@
-DEFINITION MODULE DLibC;
-(* Qualified CONST access; definitions emit no code. *)
-CONST K = 42;
-END DLibC.
@@ -1,3 +0,0 @@
-DEFINITION MODULE DQualP;
-PROCEDURE P;
-END DQualP.
@@ -1,6 +0,0 @@
-MODULE TQual;
-IMPORT DLibC;
-VAR ExitCode : INTEGER;
-BEGIN
- ExitCode := DLibC.K
-END TQual.
@@ -1,7 +0,0 @@
-MODULE TQualP;
-IMPORT DQualP;
- DQualP.P;
- ExitCode := 0
-END TQualP.