diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-07-21 18:20:25 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-07-21 18:23:03 +0200 |
| commit | 99efd521c3bd01f885248f6ac03c450e98929b2e (patch) | |
| tree | 0170bfde075802d0206d5b098019e792bbe01cc9 /test-suite/output/Nametab.out | |
| parent | 783b0af48fc24a2181d960d034d959f265b5d604 (diff) | |
Fixing output test-suite.
Diffstat (limited to 'test-suite/output/Nametab.out')
| -rw-r--r-- | test-suite/output/Nametab.out | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/test-suite/output/Nametab.out b/test-suite/output/Nametab.out index 1292123b1..c11621d7c 100644 --- a/test-suite/output/Nametab.out +++ b/test-suite/output/Nametab.out @@ -7,15 +7,15 @@ Constant Top.Q.N.K.foo Constant Top.Q.N.K.foo Constant Top.Q.N.K.foo (shorter name to refer to it in current context is Q.N.K.foo) -Error: No module is referred to by basename K -Error: No module is referred to by name N.K +Module Top.Q.N.K (shorter name to refer to it in current context is Q.N.K) +Module Top.Q.N.K (shorter name to refer to it in current context is Q.N.K) Module Top.Q.N.K -Module Top.Q.N.K -Error: No module is referred to by basename N -Module Top.Q.N +Module Top.Q.N.K (shorter name to refer to it in current context is Q.N.K) +Module Top.Q.N (shorter name to refer to it in current context is Q.N) Module Top.Q.N +Module Top.Q.N (shorter name to refer to it in current context is Q.N) Module Top.Q -Module Top.Q +Module Top.Q (shorter name to refer to it in current context is Q) Constant Top.Q.N.K.foo (shorter name to refer to it in current context is K.foo) Constant Top.Q.N.K.foo @@ -26,11 +26,11 @@ Constant Top.Q.N.K.foo Constant Top.Q.N.K.foo (shorter name to refer to it in current context is K.foo) Module Top.Q.N.K -Error: No module is referred to by name N.K -Module Top.Q.N.K -Module Top.Q.N.K -Error: No module is referred to by basename N -Module Top.Q.N +Module Top.Q.N.K (shorter name to refer to it in current context is K) +Module Top.Q.N.K (shorter name to refer to it in current context is K) +Module Top.Q.N.K (shorter name to refer to it in current context is K) +Module Top.Q.N (shorter name to refer to it in current context is Q.N) Module Top.Q.N +Module Top.Q.N (shorter name to refer to it in current context is Q.N) Module Top.Q -Module Top.Q +Module Top.Q (shorter name to refer to it in current context is Q) |