GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-29 12:48:54 -06:00
Code Issues Packages Projects Releases Wiki Activity

update after the changes in the pretty printer

Browse Source
This commit is contained in:
Krasimir Angelov
2024-01-11 09:43:16 +01:00
parent 2fd2948e6e
commit 1a840d5cee
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/runtime/haskell/tests/basic.pmcfg
View File

@@ -29,7 +29,7 @@ concrete basic_cnc {
"s" "s"
] ]
lindef N(0) -> N[String(0)] = [S0] lindef N(0) -> N[String(0)] = [S0]
linref ∀{i<2} . String(0) -> N[N(i)] = [S0] linref {i<2} . String(0) -> N[N(i)] = [S0]
lincat P = [ lincat P = [
"s" "s"
] ]
@@ -45,11 +45,11 @@ concrete basic_cnc {
] ]
lindef String(0) -> String[String(0)] = [S0] lindef String(0) -> String[String(0)] = [S0]
linref String(0) -> String[String(0)] = [S0] linref String(0) -> String[String(0)] = [S0]
lin ∀{i<2} . S(0) -> c[N(i)] = [S0] lin {i<2} . S(0) -> c[N(i)] = [S0]
lin S(0) -> floatLit[Float(0)] = [S0] lin S(0) -> floatLit[Float(0)] = [S0]
lin ∀{i<2} . P(0) -> ind[P(0),P(0),N(i)] = [S1] lin {i<2} . P(0) -> ind[P(0),P(0),N(i)] = [S1]
lin S(0) -> intLit[Int(0)] = [S0] lin S(0) -> intLit[Int(0)] = [S0]
lin ∀{i<2} . P(0) -> nat[N(i)] = [S5] lin {i<2} . P(0) -> nat[N(i)] = [S5]
lin N(0) -> s[N(0)] = [S2] lin N(0) -> s[N(0)] = [S2]
lin N(0) -> s[N(1)] = [S4] lin N(0) -> s[N(1)] = [S4]
lin S(0) -> stringLit[String(0)] = [S0] lin S(0) -> stringLit[String(0)] = [S0]