add test case for typechecking of lincat

forked from GitHub/gf-core
2009-11-13 10:28:37 +00:00
parent 2ddefec2bc
commit 1c6d0ee306
4 changed files with 18 additions and 0 deletions
@@ -0,0 +1,5 @@
+abstract Test = {
+
+cat S;
+
+}
@@ -0,0 +1,5 @@
+concrete TestCnc of Test = open Predef in {
+
+lincat S = PTrue ;
+
+}
@@ -0,0 +1 @@
+i -src testsuite/compiler/check/lincat-types/TestCnc.gf
@@ -0,0 +1,7 @@
+
+
+
+
+checking module TestCnc
+
+   Happened in linearization type of S in TestCnc.gf, line 3:
				`@@ -0,0 +1 @@`
				`i -src testsuite/compiler/check/lincat-types/TestCnc.gf`