testsuite: reduced the number of failing tests from 25 to 13

Some tests may fail on Windows because of \ instead of / in paths.

testsuite/compiler/check/cyclic/abs-types/test1.gfs.gold

@@ -1,4 +1,4 @@
-
-
-checking module Test1Abs
-   circular definitions: A B
+
+
+testsuite/compiler/check/cyclic/abs-types/Test1Abs.gf:
+   circular definitions: A B

testsuite/compiler/check/cyclic/abs-types/test2.gfs.gold

@@ -1,4 +1,4 @@
-
-
-checking module Test2Abs
-   circular definitions: f g
+
+
+testsuite/compiler/check/cyclic/abs-types/Test2Abs.gf:
+   circular definitions: f g

testsuite/compiler/check/cyclic/opers/test.gfs.gold

@@ -1,8 +1,8 @@
-
-
-checking module TestOpers
-   circular definitions: A B
-
-
-checking module TestOperTypes
-   circular definitions: A T
+
+
+testsuite/compiler/check/cyclic/opers/TestOpers.gf:
+   circular definitions: A B
+
+
+testsuite/compiler/check/cyclic/opers/TestOperTypes.gf:
+   circular definitions: A T

testsuite/compiler/check/cyclic/params/test.gfs.gold

@@ -1,4 +1,4 @@
-
-
-checking module TestParams
-   circular definitions: A B
+
+
+testsuite/compiler/check/cyclic/params/TestParams.gf:
+   circular definitions: A B

testsuite/compiler/check/lincat-types/test.gfs.gold

@@ -1,7 +1,7 @@
-
-
-checking module TestCnc
-   Happened in linearization type of S in TestCnc.gf, line 3:
-       type of PTrue
-      expected: Type
-      inferred: PBool
+
+
+testsuite/compiler/check/lincat-types/TestCnc.gf:3:
+  Happened in linearization type of S
+    type of PTrue
+   expected: Type
+   inferred: PBool

testsuite/compiler/check/oper-definition/test.gfs.gold

@@ -1,5 +1,5 @@
-
-
-checking module Res
-   Happened in operation my_oper in Res.gf, line 3:
-      No definition given to the operation
+
+
+testsuite/compiler/check/oper-definition/Res.gf:3:
+  Happened in operation my_oper
+   No definition given to the operation

testsuite/compiler/params/params.gfs

@@ -1 +1 @@
-i testsuite\compiler\params\paramsCnc.gf
+i testsuite/compiler/params/paramsCnc.gf

testsuite/compiler/renamer/funpatt.gfs.gold

@@ -1,5 +1,5 @@
-
-
-renaming module funpatt
-   renaming of d in funpatt.gf, line 11
-      data constructor expected but funpatt.D1 is found instead
+
+
+testsuite/compiler/renamer/funpatt.gf:11:
+  Happened in the renaming of d
+   data constructor expected but funpatt.D1 is found instead

testsuite/compiler/typecheck/abstract/test_A.gfs.gold

@@ -1,5 +1,5 @@
-
-
-checking module A
-   Prod expected for function A instead of Type
-   in category B in A.gf, line 4
+
+
+testsuite/compiler/typecheck/abstract/A.gf:4:
+  Happened in the category B
+   Prod expected for function A instead of Type

testsuite/compiler/typecheck/abstract/test_B.gfs.gold

@@ -1,5 +1,5 @@
-
-
-checking module B
-   Prod expected for function S instead of Type
-   in type of function f in B.gf, line 5
+
+
+testsuite/compiler/typecheck/abstract/B.gf:5:
+  Happened in the type of function f
+   Prod expected for function S instead of Type

testsuite/compiler/typecheck/abstract/test_C.gfs.gold

@@ -1,5 +1,5 @@
-
-
-checking module C
-   {Int <> S}
-   in definition of function f in C.gf, line 6
+
+
+testsuite/compiler/typecheck/abstract/C.gf:6:
+  Happened in the definition of function f
+   {Int <> S}

testsuite/compiler/typecheck/concrete/test_A.gfs.gold

@@ -1,5 +1,5 @@
-
-
-checking module A
-   Happened in operation silly in A.gf, line 5:
-      A function type is expected for a_Det instead of type Str
+
+
+testsuite/compiler/typecheck/concrete/A.gf:5:
+  Happened in operation silly
+   A function type is expected for a_Det instead of type Str

testsuite/compiler/update/ArrityCheck.gfs.gold

@@ -1,8 +1,8 @@
-
-
-C:\gf\testsuite\compiler\update\ArrityCheck.gf:6:1: cannot unify the informations
-    fun f : Int -> Int -> Int ;
-    def f 0 = \x -> x ;
-and
-    def f 1 1 = 0 ;
-in module ArrityCheck
+
+
+testsuite/compiler/update/ArrityCheck.gf:6:1:
+   conflicting information in module ArrityCheck
+    fun f : Int -> Int -> Int ;
+    def f 0 = \x -> x ;
+and
+    def f 1 1 = 0 ;