mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-08-31 00:07:00 -06:00
update the compiler testsuite
This commit is contained in:
@@ -1,5 +1,5 @@
|
|||||||
␍
|
␍
|
||||||
␍
|
␍
|
||||||
checking module A␍
|
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␍
|
in category B in A.gf, line 4␍
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
␍
|
␍
|
||||||
␍
|
␍
|
||||||
checking module B␍
|
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␍
|
in type of function f in B.gf, line 5␍
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
␍
|
␍
|
||||||
␍
|
␍
|
||||||
checking module C␍
|
checking module C␍
|
||||||
{Int<>S}␍
|
{Int <> S}␍
|
||||||
in definition of function f in C.gf, line 6␍
|
in definition of function f in C.gf, line 6␍
|
||||||
|
|||||||
Reference in New Issue
Block a user