summaryrefslogtreecommitdiff
path: root/testsuite/check/lins/lins.gfs.gold
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/check/lins/lins.gfs.gold')
-rw-r--r--testsuite/check/lins/lins.gfs.gold12
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/check/lins/lins.gfs.gold b/testsuite/check/lins/lins.gfs.gold
new file mode 100644
index 000000000..31f6d1f64
--- /dev/null
+++ b/testsuite/check/lins/lins.gfs.gold
@@ -0,0 +1,12 @@
+language linsCnc
+productions
+ C1 -> F0[]
+functions
+ F0 := () [zero]
+sequences
+startcats
+ C := [C0]
+ Float := [Float]
+ Int := [Int]
+ Nat := [C1]
+ String := [String]