mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-21 10:49:33 -06:00
18 lines
354 B
Plaintext
18 lines
354 B
Plaintext
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]
|
|
|