Updating: very very minorly

githwxi · Jul 28, 2023 · 5001ba2 · 5001ba2
1 parent 72db137
commit 5001ba2
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/srcgen2/SATS/fperr33.sats b/srcgen2/SATS/fperr33.sats
@@ -124,6 +124,18 @@ optn_fperr33_fnp
   optn(syn), fperr33_t(syn)): void
 //
 (* ****** ****** *)
+(*
+HX: fperr33 for statics
+*)
+(* ****** ****** *)
+fun fperr33_s2typ(FILR, s2typ): void
+(* ****** ****** *)
+fun fperr33_s2typlst(FILR, s2typlst): void
+(* ****** ****** *)
+(*
+HX: fperr33 for dynamics
+*)
+(* ****** ****** *)
 fun fperr33_d3pat(FILR, d3pat): void
 fun fperr33_d3exp(FILR, d3exp): void
 (* ****** ****** *)