diff options
Diffstat (limited to 'testsuite/compiler/check/lins/lins.gfs.gold')
| -rw-r--r-- | testsuite/compiler/check/lins/lins.gfs.gold | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/compiler/check/lins/lins.gfs.gold b/testsuite/compiler/check/lins/lins.gfs.gold new file mode 100644 index 000000000..bce4d9d05 --- /dev/null +++ b/testsuite/compiler/check/lins/lins.gfs.gold @@ -0,0 +1,17 @@ +checking module linsCnc
+Warning: no linearization type for C, inserting default {s : Str}
+checking module linsCnc
+Warning: no linearization of test
+
+language linsCnc
+productions
+ C1 -> F0[]
+functions
+ F0 := () [zero]
+sequences
+startcats
+ C := [C0]
+ Float := [Float]
+ Int := [Int]
+ Nat := [C1]
+ String := [String]
|