added testcase for categories with lincat C = {};

2009-05-20 16:27:12 +00:00
parent 4a2b219921
commit c6dcec2e9c
4 changed files with 34 additions and 0 deletions
@@ -0,0 +1,12 @@
+language linsCnc␍
+productions␍
+  C1 -> F0[]␍
+functions␍
+  F0 := () [zero]␍
+sequences␍
+startcats␍
+  C := [C0]␍
+  Float := [Float]␍
+  Int := [Int]␍
+  Nat := [C1]␍
+  String := [String]␍