- Made SourceFile and Position scala-independan...

- Made SourceFile and Position scala-independant (moved them to
ch.epfl.lamp.util) - Added position arguments to methods of class
Reporter - Changed printing of positions to display the whole path not
only the file name.

16 files changed, 60 insertions, 60 deletions

diff --git a/test/neg/S2.check b/test/neg/S2.check
index cb6bb9c991..0e55659ba4 100644
--- a/test/neg/S2.check
+++ b/test/neg/S2.check
@@ -1,7 +1,7 @@
-S2.scala:14: type z.type escapes its defining scope as part of z.Inner
+./neg/S2.scala:14: type z.type escapes its defining scope as part of z.Inner
         def x = { val z = new S2(); new z.Inner(); }
                 ^
-S2.scala:15: type z.type escapes its defining scope as part of z.Inner
+./neg/S2.scala:15: type z.type escapes its defining scope as part of z.Inner
         def y = { val z = new S2(); new z.Inner(); }
                 ^
 two errors found
diff --git a/test/neg/S4.check b/test/neg/S4.check
index 7fd616488b..c4ccb91923 100644
--- a/test/neg/S4.check
+++ b/test/neg/S4.check
@@ -1,4 +1,4 @@
-S4.scala:5: stable identifier required, but a found.
+./neg/S4.scala:5: stable identifier required, but a found.
     def foo(x: a.Inner) = x;
                ^
 one error found
diff --git a/test/neg/S6.check b/test/neg/S6.check
index 6303e4c8e2..3b65e06d45 100644
--- a/test/neg/S6.check
+++ b/test/neg/S6.check
@@ -1,4 +1,4 @@
-S6.scala:11: illegal cyclic reference involving type S
+./neg/S6.scala:11: illegal cyclic reference involving type S
     type S <: T;
          ^
 one error found
diff --git a/test/neg/S7.check b/test/neg/S7.check
index 22769d0fe7..9e0e0e16b3 100644
--- a/test/neg/S7.check
+++ b/test/neg/S7.check
@@ -1,4 +1,4 @@
-S7.scala:6: illegal cyclic reference involving class S7.A
+./neg/S7.scala:6: illegal cyclic reference involving class S7.A
     class C() extends a.A() {}
           ^
 one error found
diff --git a/test/neg/abstract.check b/test/neg/abstract.check
index 11d01ce3d9..c64b93b505 100644
--- a/test/neg/abstract.check
+++ b/test/neg/abstract.check
@@ -1,7 +1,7 @@
-abstract.scala:5: malformed type: A.this.T#T
+./neg/abstract.scala:5: malformed type: A.this.T#T
   def foo1 = bar().bar();
                   ^
-abstract.scala:7: malformed type: A#T
+./neg/abstract.scala:7: malformed type: A#T
   def foo3 = baz().bar();
                   ^
 two errors found
diff --git a/test/neg/altherr2.check b/test/neg/altherr2.check
index 53eeb2c84c..f546f8b1bb 100644
--- a/test/neg/altherr2.check
+++ b/test/neg/altherr2.check
@@ -1,4 +1,4 @@
-altherr2.scala:5: ';' expected but '[' found.
+./neg/altherr2.scala:5: ';' expected but '[' found.
   foo()[Int];
        ^
 one error found
diff --git a/test/neg/altherr3.check b/test/neg/altherr3.check
index 1ee3655290..789cc1b84e 100644
--- a/test/neg/altherr3.check
+++ b/test/neg/altherr3.check
@@ -1,169 +1,169 @@
-altherr3.scala:26: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:26: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo0());                             // error  1
                 ^
-altherr3.scala:27: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
+./neg/altherr3.scala:27: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo0(foo0()));                       // error  2
                 ^
-altherr3.scala:28: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]])
+./neg/altherr3.scala:28: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo0(foo0(foo0())));                 // error  3
                 ^
-altherr3.scala:29: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[bug.Foo[scala.All]]])
+./neg/altherr3.scala:29: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[bug.Foo[scala.All]]])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo0(foo0(foo0(foo0()))));           // error  4
                 ^
-altherr3.scala:32: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:32: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo0(foo0()));                  // error  5
                           ^
-altherr3.scala:33: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
+./neg/altherr3.scala:33: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo0(foo0(foo0())));            // error  6
                           ^
-altherr3.scala:34: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]])
+./neg/altherr3.scala:34: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo0(foo0(foo0(foo0()))));      // error  7
                           ^
-altherr3.scala:38: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:38: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Foo[Int]]](foo0(foo0(foo0())));       // error  8
                                     ^
-altherr3.scala:39: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
+./neg/altherr3.scala:39: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); // error  9
                                     ^
-altherr3.scala:49: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:49: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo0(foo0()));                       // error 10
                      ^
-altherr3.scala:50: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
+./neg/altherr3.scala:50: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo0(foo0(foo0())));                 // error 11
                      ^
-altherr3.scala:51: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]])
+./neg/altherr3.scala:51: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo0(foo0(foo0(foo0()))));           // error 12
                      ^
-altherr3.scala:55: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:55: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Int]](foo0(foo0(foo0())));            // error 13
                                ^
-altherr3.scala:56: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
+./neg/altherr3.scala:56: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Int]](foo0(foo0(foo0(foo0()))));      // error 14
                                ^
-altherr3.scala:61: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:61: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); // error 15
                                          ^
-altherr3.scala:72: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:72: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar2[Int](foo0(foo0(foo0())));                 // error 16
                           ^
-altherr3.scala:73: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
+./neg/altherr3.scala:73: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar2[Int](foo0(foo0(foo0(foo0()))));           // error 17
                           ^
-altherr3.scala:78: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:78: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar2[Foo[Int]](foo0(foo0(foo0(foo0()))));      // error 18
                                     ^
-altherr3.scala:95: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:95: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar3[Int](foo0(foo0(foo0(foo0()))));           // error 20
                                ^
-altherr3.scala:116: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:116: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo1());                             // error 21
                 ^
-altherr3.scala:117: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
+./neg/altherr3.scala:117: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo1(foo1()));                       // error 22
                 ^
-altherr3.scala:118: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]])
+./neg/altherr3.scala:118: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo1(foo1(foo1())));                 // error 23
                 ^
-altherr3.scala:119: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[bug.Foo[scala.All]]])
+./neg/altherr3.scala:119: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[bug.Foo[scala.All]]])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Int](foo1(foo1(foo1(foo1()))));           // error 24
                 ^
-altherr3.scala:122: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:122: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo1(foo1()));                  // error 25
                           ^
-altherr3.scala:123: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
+./neg/altherr3.scala:123: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo1(foo1(foo1())));            // error 26
                           ^
-altherr3.scala:124: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]])
+./neg/altherr3.scala:124: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Int]](foo0(foo1(foo1(foo1()))));      // error 27
                           ^
-altherr3.scala:128: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:128: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Foo[Int]]](foo1(foo1(foo1())));       // error 28
                                     ^
-altherr3.scala:129: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
+./neg/altherr3.scala:129: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar0[Foo[Foo[Int]]](foo1(foo0(foo1(foo1())))); // error 29
                                     ^
-altherr3.scala:139: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:139: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo1(foo1()));                       // error 30
                      ^
-altherr3.scala:140: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
+./neg/altherr3.scala:140: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo1(foo1(foo1())));                 // error 31
                      ^
-altherr3.scala:141: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]])
+./neg/altherr3.scala:141: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Int](foo1(foo1(foo1(foo1()))));           // error 32
                      ^
-altherr3.scala:145: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:145: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Int]](foo1(foo1(foo1())));            // error 33
                                ^
-altherr3.scala:146: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
+./neg/altherr3.scala:146: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All])
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Int]](foo1(foo1(foo1(foo1()))));      // error 34
                                ^
-altherr3.scala:151: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
+./neg/altherr3.scala:151: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments ()
  --- because ---
 result type bug.Foo[a] is incompatible with expected type scala.Int
   bar1[Foo[Foo[Int]]](foo1(foo1(foo1(foo1())))); // error 35
diff --git a/test/neg/bounds.check b/test/neg/bounds.check
index 461086194f..c0eb0f6bed 100644
--- a/test/neg/bounds.check
+++ b/test/neg/bounds.check
@@ -1,4 +1,4 @@
-bounds.scala:11: type arguments [T] do not conform to constructor A's type parameter bounds [T >: I]
+./neg/bounds.scala:11: type arguments [T] do not conform to constructor A's type parameter bounds [T >: I]
 class B[T >: J](init: T) extends A[T](init) {
                                   ^
 one error found
diff --git a/test/neg/constrparams.check b/test/neg/constrparams.check
index 19eb56bf7f..4827895d06 100644
--- a/test/neg/constrparams.check
+++ b/test/neg/constrparams.check
@@ -1,4 +1,4 @@
-constrparams.scala:4: stable identifier required, but x found.
+./neg/constrparams.scala:4: stable identifier required, but x found.
   private val z: x.t = null; //error
                  ^
 one error found
diff --git a/test/neg/cyclic.check b/test/neg/cyclic.check
index 2c23c8b26a..920380f591 100644
--- a/test/neg/cyclic.check
+++ b/test/neg/cyclic.check
@@ -1,4 +1,4 @@
-cyclic.scala:3: illegal cyclic reference involving type T
+./neg/cyclic.scala:3: illegal cyclic reference involving type T
   type T = List[T];
                 ^
 one error found
diff --git a/test/neg/imports.check b/test/neg/imports.check
index 911d300c6f..0b8e32d5aa 100644
--- a/test/neg/imports.check
+++ b/test/neg/imports.check
@@ -1,28 +1,28 @@
-imports.scala:26: not found: value v_coi
+./neg/imports.scala:26: not found: value v_coi
   def method: C_coi = v_coi;
                       ^
-imports.scala:27: not found: value v_coi
+./neg/imports.scala:27: not found: value v_coi
   val field: C_coi = v_coi;
                      ^
-imports.scala:29: not found: value v_coi
+./neg/imports.scala:29: not found: value v_coi
   check("C_coi", "v_coi ", v_coi);
                            ^
-imports.scala:47: not found: value v_cio
+./neg/imports.scala:47: not found: value v_cio
   def method: C_cio = v_cio;
                       ^
-imports.scala:48: not found: value v_cio
+./neg/imports.scala:48: not found: value v_cio
   val field: C_cio = v_cio;
                      ^
-imports.scala:50: not found: value v_cio
+./neg/imports.scala:50: not found: value v_cio
   check("C_cio", "v_cio ", v_cio);
                            ^
-imports.scala:136: not found: value v_oci
+./neg/imports.scala:136: not found: value v_oci
   def method: C_oci = v_oci;
                       ^
-imports.scala:137: not found: value v_oci
+./neg/imports.scala:137: not found: value v_oci
   val field: C_oci = v_oci;
                      ^
-imports.scala:139: not found: value v_oci
+./neg/imports.scala:139: not found: value v_oci
   check("C_oci", "v_oci ", v_oci);
                            ^
 9 errors found
diff --git a/test/neg/matthias2.check b/test/neg/matthias2.check
index 9bd56714cd..e3e2c0a85a 100644
--- a/test/neg/matthias2.check
+++ b/test/neg/matthias2.check
@@ -1,4 +1,4 @@
-matthias2.scala:7: illegal cyclic reference involving value y
+./neg/matthias2.scala:7: illegal cyclic reference involving value y
     override val y: T;
                  ^
 one error found
diff --git a/test/neg/michel2.check b/test/neg/michel2.check
index 3317c40f61..9262facb0c 100644
--- a/test/neg/michel2.check
+++ b/test/neg/michel2.check
@@ -1,4 +1,4 @@
-michel2.scala:1: Java class may not be used as mixin
+./neg/michel2.scala:1: Java class may not be used as mixin
 class A() extends java.lang.Object() with java.util.Random() { }
                                                           ^
 one error found
diff --git a/test/neg/protected.check b/test/neg/protected.check
index 23a5865dab..eed6f32d00 100644
--- a/test/neg/protected.check
+++ b/test/neg/protected.check
@@ -1,4 +1,4 @@
-protected.scala:11: error overriding method y in class A;
+./neg/protected.scala:11: error overriding method y in class A;
  method y in class B has weaker access privileges; it should not be protected
     protected def y(): int;
                   ^
diff --git a/test/neg/stable.check b/test/neg/stable.check
index eaa64ef62a..51a86f6a7e 100644
--- a/test/neg/stable.check
+++ b/test/neg/stable.check
@@ -1,7 +1,7 @@
-stable.scala:10: stable identifier required, but test.y found.
+./neg/stable.scala:10: stable identifier required, but test.y found.
     type b = y.T;
              ^
-stable.scala:11: stable identifier required, but test.z found.
+./neg/stable.scala:11: stable identifier required, but test.z found.
     type c = z.T;
              ^
 two errors found
diff --git a/test/neg/vincent1.check b/test/neg/vincent1.check
index b9243e7560..376e21dc1b 100644
--- a/test/neg/vincent1.check
+++ b/test/neg/vincent1.check
@@ -1,4 +1,4 @@
-vincent1.scala:7: type x.type escapes its defining scope as part of test.B { type T = x.T }
+./neg/vincent1.scala:7: type x.type escapes its defining scope as part of test.B { type T = x.T }
   def functor(x: A): B { type T = x.T } =
                      ^
 one error found