added some tests in the testsuite for the compiler

2026-09-19 16:56:02 -06:00 · 2009-09-14 12:17:57 +00:00
parent 62ef772a2c
commit 70fea39e2b
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 @@`
				`i testsuite/compiler/check/oper-definition/Res.gf`