Updating: very very minorly

githwxi · Aug 2, 2023 · 5ba3189 · 5ba3189
1 parent b57f818
commit 5ba3189
Show file tree

Hide file tree

Showing 3 changed files with 131 additions and 7 deletions.
diff --git a/srcgen2/DATS/tread22_dynexp.dats b/srcgen2/DATS/tread22_dynexp.dats
@@ -2199,7 +2199,7 @@ d2e1 = tread22_d2exp(d2e1, err)
 //
 in//let
 if
-(err = e00)
+(err=e00)
 then (dgua) else
 d2gua(dgua.lctn(), D2GUAexp(d2e1))
 endlet // end of [ D2GUAexp(d2e1) ]
@@ -2210,14 +2210,12 @@ let
 //
 val e00 = err
 //
-val
-d2e1 = tread22_d2exp(d2e1, err)
-//
+val d2e1 = tread22_d2exp(d2e1, err)
 val d2p2 = tread22_d2pat(d2p2, err)
 //
 in//let
 if
-(err = e00)
+(err=e00)
 then (dgua) else
 d2gua(dgua.lctn(), D2GUAmat(d2e1,d2p2))
 endlet // end of [ D2GPTgua(_,_,_) ]
@@ -2242,7 +2240,7 @@ d2p1 = tread22_d2pat(d2p1, err)
 //
 in//let
 if
-(err = e00)
+(err=e00)
 then (dgpt) else
 d2gpt(dgpt.lctn(), D2GPTpat(d2p1))
 endlet // end of [ D2GPTpat(d2p1) ]
@@ -2259,7 +2257,7 @@ val d2gs = tread22_d2gualst(d2gs, err)
 //
 in//let
 if
-(err = e00)
+(err=e00)
 then (dgpt) else
 d2gpt(dgpt.lctn(), D2GPTgua(d2p1,d2gs))
 endlet // end of [ D2GPTgua(_,_,_) ]

diff --git a/srcgen2/DATS/tread33_dynexp.dats b/srcgen2/DATS/tread33_dynexp.dats
@@ -1369,6 +1369,131 @@ endlet // end of [F3ARGdyn0(npf1,d3ps)]
 (* ****** ****** *)
 //
 #implfun
+tread33_d3gua
+  (dgua, err) =
+(
+case+
+dgua.node() of
+|
+D3GUAexp
+( d3e1 ) => let
+//
+val e00 = err
+//
+val
+d3e1 = tread33_d3exp(d3e1, err)
+//
+in//let
+if
+(err=e00)
+then (dgua) else
+d3gua(dgua.lctn(), D3GUAexp(d3e1))
+endlet // end of [ D3GUAexp(d3e1) ]
+|
+D3GUAmat
+(d3e1,d3p2) =>
+let
+//
+val e00 = err
+//
+val d3e1 = tread33_d3exp(d3e1, err)
+val d3p2 = tread33_d3pat(d3p2, err)
+//
+in//let
+if
+(err=e00)
+then (dgua) else
+d3gua(dgua.lctn(), D3GUAmat(d3e1,d3p2))
+endlet // end of [ D3GPTgua(_,_,_) ]
+) (*case+*)//end-of-[tread33_d3gua(dgua,err)]
+//
+(* ****** ****** *)
+//
+#implfun
+tread33_d3gpt
+  (dgpt, err) =
+(
+case+
+dgpt.node() of
+|
+D3GPTpat
+( d3p1 ) => let
+//
+val e00 = err
+//
+val
+d3p1 = tread33_d3pat(d3p1, err)
+//
+in//let
+if
+(err=e00)
+then (dgpt) else
+d3gpt(dgpt.lctn(), D3GPTpat(d3p1))
+endlet // end of [ D3GPTpat(d3p1) ]
+|
+D3GPTgua
+(d3p1,d3gs) =>
+let
+//
+val e00 = err
+//
+val d3p1 = tread33_d3pat(d3p1, err)
+//
+val d3gs = tread33_d3gualst(d3gs, err)
+//
+in//let
+if
+(err=e00)
+then (dgpt) else
+d3gpt(dgpt.lctn(), D3GPTgua(d3p1,d3gs))
+endlet // end of [ D3GPTgua(_,_,_) ]
+) (*case+*)//end-of-[tread33_d3gpt(dgpt,err)]
+//
+(* ****** ****** *)
+//
+#implfun
+tread33_d3cls
+  (dcls, err) =
+(
+case+
+dcls.node() of
+|
+D3CLSgpt
+( dgpt ) => let
+//
+val e00 = err
+//
+val dgpt =
+tread33_d3gpt(dgpt, err)
+in//let
+if
+(err=e00)
+then (dcls)
+else
+d3cls(dcls.lctn(), D3CLSgpt(dgpt))
+end (*let*)//end-of[D3CLSgpt(dgpt)]
+|
+D3CLScls
+(dgpt,d3e1) =>
+let
+//
+val e00 = err
+//
+val dgpt = tread33_d3gpt(dgpt, err)
+val d3e1 = tread33_d3exp(d3e1, err)
+//
+in//let
+if
+(err=e00)
+then (dcls)
+else
+d3cls(dcls.lctn(), D3CLScls(dgpt,d3e1))
+endlet // end-of-[ D3CLScls(_,_,_) ]
+) (*case+*)//end-of-[tread33_d3cls(dcls,err)]
+//
+(* ****** ****** *)
+//
+#implfun
 tread33_d3patlst
   (  d3ps, err  ) =
 (

diff --git a/srcgen2/SATS/tread33.sats b/srcgen2/SATS/tread33.sats
@@ -142,6 +142,7 @@ fun tread33_d3exp: ftread33(d3exp)
 fun tread33_f3arg: ftread33(f3arg)
 (* ****** ****** *)
 fun tread33_d3gua: ftread33(d3gua)
+fun tread33_d3gpt: ftread33(d3gpt)
 fun tread33_d3cls: ftread33(d3cls)
 (* ****** ****** *)
 fun tread33_d3ecl: ftread33(d3ecl)