mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-10 21:39:32 -06:00
11 lines
236 B
Plaintext
11 lines
236 B
Plaintext
concrete linsCnc of lins = {
|
|
|
|
lincat Nat = {} ;
|
|
|
|
-- we expect warnings because the lines bellow are commented out
|
|
-- we don't expect warning for zero because Nat = {}
|
|
|
|
-- lincat C = {s : Str} ;
|
|
-- lin test = {s = "test"} ;
|
|
|
|
} |