diff options
| -rw-r--r-- | testsuite/compiler/typecheck/abstract/test_A.gfs.gold | 2 | ||||
| -rw-r--r-- | testsuite/compiler/typecheck/abstract/test_B.gfs.gold | 2 | ||||
| -rw-r--r-- | testsuite/compiler/typecheck/abstract/test_C.gfs.gold | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/compiler/typecheck/abstract/test_A.gfs.gold b/testsuite/compiler/typecheck/abstract/test_A.gfs.gold index b4c49cd03..79c77eb84 100644 --- a/testsuite/compiler/typecheck/abstract/test_A.gfs.gold +++ b/testsuite/compiler/typecheck/abstract/test_A.gfs.gold @@ -1,5 +1,5 @@ checking module A
- Prod expected for function % A. A instead of Type
+ Prod expected for function A instead of Type
in category B in A.gf, line 4
diff --git a/testsuite/compiler/typecheck/abstract/test_B.gfs.gold b/testsuite/compiler/typecheck/abstract/test_B.gfs.gold index c27ca89d2..2e9ff8aaa 100644 --- a/testsuite/compiler/typecheck/abstract/test_B.gfs.gold +++ b/testsuite/compiler/typecheck/abstract/test_B.gfs.gold @@ -1,5 +1,5 @@ checking module B
- Prod expected for function % B. S instead of Type
+ Prod expected for function S instead of Type
in type of function f in B.gf, line 5
diff --git a/testsuite/compiler/typecheck/abstract/test_C.gfs.gold b/testsuite/compiler/typecheck/abstract/test_C.gfs.gold index c5e50021d..0bfb204a3 100644 --- a/testsuite/compiler/typecheck/abstract/test_C.gfs.gold +++ b/testsuite/compiler/typecheck/abstract/test_C.gfs.gold @@ -1,5 +1,5 @@ checking module C
- {Int<>S}
+ {Int <> S}
in definition of function f in C.gf, line 6
|