mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-10 21:39:32 -06:00
40 lines
867 B
Plaintext
40 lines
867 B
Plaintext
checking module linsCnc
|
|
Warning: no linearization type for C, inserting default {s : Str}
|
|
Warning: no linearization of test
|
|
abstract lins {
|
|
cat C Nat ;
|
|
cat Float ;
|
|
cat Int ;
|
|
cat Nat ;
|
|
cat String ;
|
|
fun test : C zero ;
|
|
fun zero : Nat ;
|
|
}
|
|
concrete linsCnc {
|
|
productions
|
|
C1 -> F2[]
|
|
lindefs
|
|
C0 -> F0
|
|
C1 -> F1
|
|
lin
|
|
F0 := (S0) [lindef C]
|
|
F1 := () [lindef Nat]
|
|
F2 := () [zero]
|
|
sequences
|
|
S0 := {0,0}
|
|
categories
|
|
C := range [C0 .. C0]
|
|
labels ["s"]
|
|
Float := range [CFloat .. CFloat]
|
|
labels ["s"]
|
|
Int := range [CInt .. CInt]
|
|
labels ["s"]
|
|
Nat := range [C1 .. C1]
|
|
labels []
|
|
String := range [CString .. CString]
|
|
labels ["s"]
|
|
__gfVar := range [CVar .. CVar]
|
|
labels [""]
|
|
printnames
|
|
}
|