added some tests in the testsuite for the compiler

2026-09-02 09:16:58 -06:00 · 2009-09-14 12:17:57 +00:00
parent 5d06550283
commit c61fbb4206
18 changed files with 76 additions and 4 deletions
@@ -1,8 +1,6 @@
 checking module linsCnc␍
-Warning: no linearization type for C, inserting default {s : Str}␍
-checking module linsCnc␍
-Warning: no linearization of test␍
-␍
+   Warning: no linearization type for C, inserting default {s : Str}␍
+   Warning: no linearization of test␍
 language linsCnc␍
 productions␍
  C1 -> F0[]␍
@@ -0,0 +1,5 @@
+resource Res = {
+
+oper my_oper : Str -> Str ;
+
+}
@@ -0,0 +1 @@
+i testsuite/compiler/check/oper-definition/Res.gf
@@ -0,0 +1,5 @@
+␍
+␍
+checking module Res␍
+   Happened in operation my_oper in Res.gf, line 3 :␍
+      No definition given to the operation␍
@@ -0,0 +1,8 @@
+abstract A = {
+
+cat A1; A2 ;
+fun f1 : A1 ;
+    f2 : A1 ;
+    g  : A2 ;
+
+}
@@ -0,0 +1,3 @@
+abstract B = A - [A1] ** {
+
+}
@@ -0,0 +1,6 @@
+abstract A = {
+
+cat A ;
+    B (A 1) ;
+
+}
@@ -0,0 +1,7 @@
+abstract B = {
+
+cat S ;
+
+fun f : S -> S 1 ;
+
+}
@@ -0,0 +1,8 @@
+abstract C = {
+
+cat S ;
+
+fun f : S -> S ;
+def f x = 1 ;
+
+}
@@ -0,0 +1 @@
+i testsuite/compiler/typecheck/abstract/A.gf␍
@@ -0,0 +1,5 @@
+␍
+␍
+checking module A␍
+   Prod expected for function % A. A instead of Type␍
+   in category B in A.gf, line 4␍
@@ -0,0 +1 @@
+i testsuite/compiler/typecheck/abstract/B.gf␍
@@ -0,0 +1,5 @@
+␍
+␍
+checking module B␍
+   Prod expected for function % B. S instead of Type␍
+   in type of function f in B.gf, line 5␍
@@ -0,0 +1 @@
+i testsuite/compiler/typecheck/abstract/C.gf
@@ -0,0 +1,5 @@
+␍
+␍
+checking module C␍
+   {Int<>S}␍
+   in definition of function f in C.gf, line 6␍
@@ -0,0 +1,7 @@
+resource A = {
+
+oper a_Det : Str = "a" ;
+     
+     silly : Str = a_Det "X" ;
+
+}
@@ -0,0 +1 @@
+i testsuite/compiler/typecheck/concrete/A.gf␍
@@ -0,0 +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␍
				`@@ -0,0 +1 @@`
				`i testsuite/compiler/check/oper-definition/Res.gf`
				`@@ -0,0 +1 @@`
				`i testsuite/compiler/typecheck/abstract/A.gf␍`
				`@@ -0,0 +1 @@`
				`i testsuite/compiler/typecheck/concrete/A.gf␍`