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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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]