From 79ce7825c6e8adce89710767aa1ab199d3de3e90 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Wed, 9 Sep 2026 08:17:02 +0200
Subject: [PATCH] update the test grammar again

---
 src/runtime/haskell/tests/basic.pgf   | Bin 392 -> 845 bytes
 src/runtime/haskell/tests/basic.pmcfg |  50 +++++++++++---------------
 2 files changed, 21 insertions(+), 29 deletions(-)

diff --git a/src/runtime/haskell/tests/basic.pgf b/src/runtime/haskell/tests/basic.pgf
index e0fa90ab75e81964fc86ad377990f5ca43f6f00d..c5080a1a81ac761888a2551ffbe6dc0783f5c4d9 100644
GIT binary patch
literal 845
zcmZQzVqj!oO-d}zOlII@OlD+YjAvl<V_*zsU}UgAIdf(M0|Ns`T26jqiBDz;SeDfd
z!~>~7Qo@{>TfoG~SOL<@z*q^Q7=sy56y&8agAEU0WMQmgV2o#CfGLk>U<_bn1rdxa
zjK!=BPzkUg$cP6FV8E7{2X_RsXI=@q6Y>&44g@;^T`OZT*y$jT`5~FeSzJ<-nU@ap
z8Cx)zi)Jp!v3?8;4E8W*Km!2A2RjAEVf2HmV+?@V36~6pOTw&zOL2muAU-)SnSl*r
z0V88EBNHP7C=kKkhcG|_U@pj70!kSDuqa?;0vW^zGlww%iy9P5gBcm{xdZAG0;X^<
zCNnakS&c|mAjg0(#ABIxDU948waj2X+^NirYRpXMcC#@tGO#f->aZ~}GBPvjF)%VP
zz)}Xt3=jtEV+N%Mc91!Y3}7>uK_YC-j2dhpc{XN7O~ztK0E6@}Ga7>I12I9;49tw$
j%#4OeDFh?~!eCj(Dn>?-%?u38j0Q}M#f*lGRg4Az00(1w

delta 9
QcmX@h*1^1?osp3N01(Lnm;e9(

diff --git a/src/runtime/haskell/tests/basic.pmcfg b/src/runtime/haskell/tests/basic.pmcfg
index 7586bfed3..d219e49c0 100644
--- a/src/runtime/haskell/tests/basic.pmcfg
+++ b/src/runtime/haskell/tests/basic.pmcfg
@@ -19,48 +19,40 @@ concrete basic_cnc {
   lincat Float = [
            "s"
          ]
-  lindef Float(0) -> Float[String(0)] = [S0]
-  linref String(0) -> Float[Float(0)] = [S0]
+  lindef Float(0) -> Float[String(0)]; 0 : <0,0>
+  linref String(0) -> Float[Float(0)]; 0 : <0,0>
   lincat Int = [
            "s"
          ]
-  lindef Int(0) -> Int[String(0)] = [S0]
-  linref String(0) -> Int[Int(0)] = [S0]
+  lindef Int(0) -> Int[String(0)]; 0 : <0,0>
+  linref String(0) -> Int[Int(0)]; 0 : <0,0>
   lincat N = [
            "s"
          ]
-  lindef N(0) -> N[String(0)] = [S0]
-  linref {i<2} . String(0) -> N[N(i)] = [S0]
+  lindef N(0) -> N[String(0)]; 0 : <0,0>
+  linref {i<2} String(0) -> N[N(i)]; 0 : <0,0>
   lincat P = [
            "s"
          ]
-  lindef P(0) -> P[String(0)] = [S0]
-  linref String(0) -> P[P(0)] = [S0]
+  lindef P(0) -> P[String(0)]; 0 : <0,0>
+  linref String(0) -> P[P(0)]; 0 : <0,0>
   lincat S = [
            ""
          ]
-  lindef S(0) -> S[String(0)] = [S0]
-  linref String(0) -> S[S(0)] = [S0]
+  lindef S(0) -> S[String(0)]; 0 : <0,0>
+  linref String(0) -> S[S(0)]; 0 : <0,0>
   lincat String = [
            "s"
          ]
-  lindef String(0) -> String[String(0)] = [S0]
-  linref String(0) -> String[String(0)] = [S0]
-  lin {i<2} . S(0) -> c[N(i)] = [S0]
-  lin S(0) -> floatLit[Float(0)] = [S0]
-  lin {i<2} . P(0) -> ind[P(0),P(0),N(i)] = [S1]
-  lin S(0) -> intLit[Int(0)] = [S0]
-  lin {i<2} . P(0) -> nat[N(i)] = [S5]
-  lin N(0) -> s[N(0)] = [S2]
-  lin N(0) -> s[N(1)] = [S4]
-  lin S(0) -> stringLit[String(0)] = [S0]
-  lin N(1) -> z[] = [S3]
-  sequences {
-    S0 = <0,0>
-    S1 = <0,0> "&" "λ" SOFT_BIND <1,$0> SOFT_BIND "," SOFT_BIND <1,$1> "." <1,0>
-    S2 = <0,0> "+" "1"
-    S3 = "0"
-    S4 = "1"
-    S5 = "nat" SOFT_BIND "(" SOFT_BIND <0,0> SOFT_BIND ")"
-  }
+  lindef String(0) -> String[String(0)]; 0 : <0,0>
+  linref String(0) -> String[String(0)]; 0 : <0,0>
+  lin {i<2} S(0) -> c[N(i)]; 0 : <0,0>
+  lin S(0) -> floatLit[Float(0)]; 0 : <0,0>
+  lin {i<2} P(0) -> ind[P(0),P(0),N(i)]; 0 : <0,0> "&" "λ" SOFT_BIND <1,$0> SOFT_BIND "," SOFT_BIND <1,$1> "." <1,0>
+  lin S(0) -> intLit[Int(0)]; 0 : <0,0>
+  lin {i<2} P(0) -> nat[N(i)]; 0 : "nat" SOFT_BIND "(" SOFT_BIND <0,0> SOFT_BIND ")"
+  lin N(0) -> s[N(1)]; 0 : "1"
+  lin N(0) -> s[N(0)]; 0 : <0,0> "+" "1"
+  lin S(0) -> stringLit[String(0)]; 0 : <0,0>
+  lin N(1) -> z[]; 0 : "0"
 }