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