mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-10-18 14:23:10 -06:00
Give SRG test cases human-readable names.
This commit is contained in:
1 parent
2091df47fe
commit
f9ad1dfe2d
5 files changed
No files matched your search
@@ -0,0 +1,11 @@
|
||||
-- a grammar with an indirect cycle
|
||||
|
||||
cat S; G;
|
||||
|
||||
fun f : S ;
|
||||
fun fg : G -> S ;
|
||||
fun gf : S -> G ;
|
||||
|
||||
lin f = { s = "f" } ;
|
||||
lin fg x = x;
|
||||
lin gf x = x;
|
||||
Reference in new issue
Block a user