testsuite/compiler/check/lins/lins.gfs.gold


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

checking module linsCnc

   Warning: no linearization type for C, inserting default {s : Str}

   Warning: no linearization of test

language linsCnc

productions

  C1 -> F0[]

functions

  F0 := () [zero]

sequences

startcats

  C := [C0]

  Float := [CFloat]

  Int := [CInt]

  Nat := [C1]

  String := [CString]