summaryrefslogtreecommitdiff
path: root/test-suite/output/Nametab.out
diff options
context:
space:
mode:
Diffstat (limited to 'test-suite/output/Nametab.out')
-rw-r--r--test-suite/output/Nametab.out28
1 files changed, 18 insertions, 10 deletions
diff --git a/test-suite/output/Nametab.out b/test-suite/output/Nametab.out
index 505821d7..d0f15f0e 100644
--- a/test-suite/output/Nametab.out
+++ b/test-suite/output/Nametab.out
@@ -1,27 +1,35 @@
-id is not a defined object
-K.id is not a defined object
-N.K.id is not a defined object
Constant Top.Q.N.K.id
+ (shorter name to refer to it in current context is Q.N.K.id)
Constant Top.Q.N.K.id
-K is not a defined object
-N.K is not a defined object
+ (shorter name to refer to it in current context is Q.N.K.id)
+Constant Top.Q.N.K.id
+ (shorter name to refer to it in current context is Q.N.K.id)
+Constant Top.Q.N.K.id
+Constant Top.Q.N.K.id
+ (shorter name to refer to it in current context is Q.N.K.id)
+No module is referred to by basename K
+No module is referred to by name N.K
Module Top.Q.N.K
Module Top.Q.N.K
-N is not a defined object
+No module is referred to by basename N
Module Top.Q.N
Module Top.Q.N
Module Top.Q
Module Top.Q
-id is not a defined object
Constant Top.Q.N.K.id
-N.K.id is not a defined object
+ (shorter name to refer to it in current context is K.id)
+Constant Top.Q.N.K.id
+Constant Top.Q.N.K.id
+ (shorter name to refer to it in current context is K.id)
Constant Top.Q.N.K.id
+ (shorter name to refer to it in current context is K.id)
Constant Top.Q.N.K.id
+ (shorter name to refer to it in current context is K.id)
Module Top.Q.N.K
-N.K is not a defined object
+No module is referred to by name N.K
Module Top.Q.N.K
Module Top.Q.N.K
-N is not a defined object
+No module is referred to by basename N
Module Top.Q.N
Module Top.Q.N
Module Top.Q