From f3d54a02e3ee957a4ffa6ff68149f56edfc9c963 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Sat, 8 Jan 2022 20:04:23 +0100
Subject: [PATCH] update the testsuite

---
 src/runtime/haskell/tests/basic.pgf   | Bin 787 -> 734 bytes
 src/runtime/haskell/tests/basic.pmcfg |  92 ++++++++------------------
 2 files changed, 29 insertions(+), 63 deletions(-)

diff --git a/src/runtime/haskell/tests/basic.pgf b/src/runtime/haskell/tests/basic.pgf
index e3e5795f91a3d7f5c8c29ae9d2130d9211f8cad7..525ac33a0424c80abd4538d9af7a1dd6ae19389a 100644
GIT binary patch
delta 346
zcmbQtc8_&KC1X7!0|NsCH;7<nRAXj5x0{WLk%5hwQHPC*k&&5EkAabaff*vL&CF=X
z$joTK$joTS&di*bSi;84sKEx3WMgL3WMg&9$xkd{WGrT60*QeM1_mYu24>GZY{HCw
zjEpuA#f*#~bqrvViGhJJ0E;P%!Hf*3CQlY*lB#E5;9yK<WMBj%kX{CkG>|)dGD{d4
zK(1$CWMIzBO96WVNf{$sW?l)3qP)Zsuptn~FtRchgN=jvgNcQ+xTGjEFCAGEqhJ*S
RBM34xF%~l#GFCAf004NC9+v<B

delta 364
zcmcb|I+<-lC1X9STTXsr2_s`MBNGDy0|S^~U|?bdaliz#XC6LjMn9NdMn<r1Fo~p}
zF#x6jEDf>)Y%YYDtjr`B3Sok5WD71S%FIj0ql1GnnUR4JjF=ce3<d@Ujx>-Td@@TI
z85lrjF@lK6g-oK8>lo$h*)sD=(Bv4H^AbzIW<VUx$j%HBVPj_0U;{gYnNgFm7-T-&
s&CDQiW=3shMngtsMnleGutU+!WvpUg1VKh-Mgu0sVn##8Dkeq)05e-42mk;8

diff --git a/src/runtime/haskell/tests/basic.pmcfg b/src/runtime/haskell/tests/basic.pmcfg
index 705cef3d9..1f5c15eb6 100644
--- a/src/runtime/haskell/tests/basic.pmcfg
+++ b/src/runtime/haskell/tests/basic.pmcfg
@@ -18,82 +18,48 @@ concrete basic_cnc {
   lincat Float = [
            "s"
          ]
-  lindef Float :  String(0) -> Float(0) = [
-           <0,0>
-         ]
-  linref Float : Float(0) -> String(0) = [
-           <0,0>
-         ]
+  lindef Float :  String(0) -> Float(0) = [S0]
+  linref Float : Float(0) -> String(0) = [S0]
   lincat Int = [
            "s"
          ]
-  lindef Int :  String(0) -> Int(0) = [
-           <0,0>
-         ]
-  linref Int : Int(0) -> String(0) = [
-           <0,0>
-         ]
+  lindef Int :  String(0) -> Int(0) = [S0]
+  linref Int : Int(0) -> String(0) = [S0]
   lincat N = [
            "s"
          ]
-  lindef N :  String(0) -> N(0) = [
-           <0,0>
-         ]
-  linref N : ∀{i<2} . N(i) -> String(0) = [
-           <0,0>
-         ]
+  lindef N :  String(0) -> N(0) = [S0]
+  linref N : ∀{i<2} . N(i) -> String(0) = [S0]
   lincat P = [
            "s"
          ]
-  lindef P :  String(0) -> P(0) = [
-           <0,0>
-         ]
-  linref P : P(0) -> String(0) = [
-           <0,0>
-         ]
+  lindef P :  String(0) -> P(0) = [S0]
+  linref P : P(0) -> String(0) = [S0]
   lincat S = [
            ""
          ]
-  lindef S :  String(0) -> S(0) = [
-           <0,0>
-         ]
-  linref S : S(0) -> String(0) = [
-           <0,0>
-         ]
+  lindef S :  String(0) -> S(0) = [S0]
+  linref S : S(0) -> String(0) = [S0]
   lincat String = [
            "s"
          ]
-  lindef String :  String(0) -> String(0) = [
-           <0,0>
-         ]
-  linref String : String(0) -> String(0) = [
-           <0,0>
-         ]
-  lin c : ∀{i<2} . N(i) -> S(0) = [
-        <0,0>
-      ]
-  lin floatLit : Float(0) -> S(0) = [
-        <0,0>
-      ]
-  lin ind : ∀{i<2} . P(0) * P(0) * N(i) -> P(0) = [
-        <0,0> "&" "λ" SOFT_BIND <1,$0> SOFT_BIND "," SOFT_BIND <1,$1> "." <1,0>
-      ]
-  lin intLit : Int(0) -> S(0) = [
-        <0,0>
-      ]
-  lin nat : ∀{i<2} . N(i) -> P(0) = [
-        "nat" SOFT_BIND "(" SOFT_BIND <0,0> SOFT_BIND ")"
-      ]
-  lin s : N(0) -> N(0) = [
-        <0,0> "+" "1"
-      ]
-  lin s : N(1) -> N(0) = [
-        "1"
-      ]
-  lin stringLit : String(0) -> S(0) = [
-        <0,0>
-      ]
-  lin z : N(1) = [
-        "0"
-      ]
+  lindef String :  String(0) -> String(0) = [S0]
+  linref String : String(0) -> String(0) = [S0]
+  lin c : ∀{i<2} . N(i) -> S(0) = [S0]
+  lin floatLit : Float(0) -> S(0) = [S0]
+  lin ind : ∀{i<2} . P(0) * P(0) * N(i) -> P(0) = [S1]
+  lin intLit : Int(0) -> S(0) = [S0]
+  lin nat : ∀{i<2} . N(i) -> P(0) = [S5]
+  lin s : N(0) -> N(0) = [S2]
+  lin s : N(1) -> N(0) = [S4]
+  lin stringLit : String(0) -> S(0) = [S0]
+  lin z : N(1) = [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 ")"
+  }
 }