Updating: very very minorly

githwxi · Aug 31, 2024 · 44d2fa9 · 44d2fa9
1 parent 142d98a
commit 44d2fa9
Show file tree

Hide file tree

Showing 6 changed files with 250 additions and 155 deletions.
diff --git a/prelude/DATS/gdbg000.dats b/prelude/DATS/gdbg000.dats
@@ -211,91 +211,6 @@ g_ptype<vw>();pstrn":";g_psort<vw>())
 (* ****** ****** *)
 (* ****** ****** *)
 //
-(*
-HX-2024-08-24:
-Sat 24 Aug 2024 06:29:59 PM EDT
-*)
-//
-#impltmp
-< r0:vt >
-f_trace_f0un
- (msg, f00) =
-lam((*0*)) => let
-//
-val () =
-prints(msg, ":", "\n")
-//
-val r0 = f00(              )
-//
-val () = print1s
-(msg, ": res0 = ", r0, "\n") in r0 end
-//
-(* ****** ****** *)
-//
-#impltmp
-< a1:t0 >
-< r0:vt >
-f_trace_f1un
- (msg, f00) =
-lam(x1:a1) => let
-//
-val () = prints
-(msg, ": arg1 = ", x1, "\n")
-//
-val r0 = f00(      x1      )
-//
-val () = print1s
-(msg, ": res0 = ", r0, "\n") in r0 end
-//
-(* ****** ****** *)
-//
-#impltmp
-< a1:t0 >
-< a2:t0 >
-< r0:vt >
-f_trace_f2un
- (msg, f00) =
-lam
-(x1:a1,x2:a2) => let
-//
-val () = prints
-(msg, ": arg1 = ", x1, "\n")
-val () = prints
-(msg, ": arg2 = ", x2, "\n")
-//
-val r0 = f00(    x1, x2    )
-//
-val () = print1s
-(msg, ": res0 = ", r0, "\n") in r0 end
-//
-(* ****** ****** *)
-//
-#impltmp
-< a1:t0 >
-< a2:t0 >
-< a3:t0 >
-< r0:vt >
-f_trace_f3un
- (msg, f00) =
-lam
-(x1:a1
-,x2:a2,x3:a3) => let
-//
-val () = prints
-(msg, ": arg1 = ", x1, "\n")
-val () = prints
-(msg, ": arg2 = ", x2, "\n")
-val () = prints
-(msg, ": arg3 = ", x3, "\n")
-//
-val r0 = f00(  x1, x2, x3  )
-//
-val () = print1s
-(msg, ": res0 = ", r0, "\n") in r0 end
-//
-(* ****** ****** *)
-(* ****** ****** *)
-//
 (* ****** ****** *)(* ****** ****** *)
 (* ****** ****** *)(* ****** ****** *)
 

diff --git a/prelude/DATS/gfun000.dats b/prelude/DATS/gfun000.dats
@@ -100,6 +100,121 @@ foritm$work<ni>(_) = f0((*void*))
 (* ****** ****** *)
 (* ****** ****** *)
 //
+//
+(*
+HX-2024-08-24:
+Sat 24 Aug 2024 06:29:59 PM EDT
+*)
+//
+#impltmp
+< r0:vt >
+f_trace_f0un
+ (msg, f00) =
+lam((*0*)) => let
+//
+val () =
+prints(msg, ":", "\n")
+//
+val r0 = f00(              )
+//
+val () = print1s
+(msg, ": res0 = ", r0, "\n") in r0 end
+//
+(* ****** ****** *)
+//
+#impltmp
+< a1:t0 >
+< r0:vt >
+f_trace_f1un
+ (msg, f00) =
+lam(x1:a1) => let
+//
+val () = prints
+(msg, ": arg1 = ", x1, "\n")
+//
+val r0 = f00(      x1      )
+//
+val () = print1s
+(msg, ": res0 = ", r0, "\n") in r0 end
+//
+(* ****** ****** *)
+//
+#impltmp
+< a1:t0 >
+< a2:t0 >
+< r0:vt >
+f_trace_f2un
+ (msg, f00) =
+lam
+(x1:a1,x2:a2) => let
+//
+val () = prints
+(msg, ": arg1 = ", x1, "\n")
+val () = prints
+(msg, ": arg2 = ", x2, "\n")
+//
+val r0 = f00(    x1, x2    )
+//
+val () = print1s
+(msg, ": res0 = ", r0, "\n") in r0 end
+//
+(* ****** ****** *)
+//
+#impltmp
+< a1:t0 >
+< a2:t0 >
+< a3:t0 >
+< r0:vt >
+f_trace_f3un
+ (msg, f00) =
+lam
+(x1:a1
+,x2:a2,x3:a3) => let
+//
+val () = prints
+(msg, ": arg1 = ", x1, "\n")
+val () = prints
+(msg, ": arg2 = ", x2, "\n")
+val () = prints
+(msg, ": arg3 = ", x3, "\n")
+//
+val r0 = f00(  x1, x2, x3  )
+//
+val () = print1s
+(msg, ": res0 = ", r0, "\n") in r0 end
+//
+(* ****** ****** *)
+//
+#impltmp
+< a1:t0 >
+< a2:t0 >
+< a3:t0 >
+< a4:t0 >
+< r0:vt >
+f_trace_f4un
+ (msg, f00) =
+lam
+(x1:a1
+,x2:a2
+,x3:a3,x4:a4) => let
+//
+val () = prints
+(msg, ": arg1 = ", x1, "\n")
+val () = prints
+(msg, ": arg2 = ", x2, "\n")
+val () = prints
+(msg, ": arg3 = ", x3, "\n")
+val () = prints
+(msg, ": arg4 = ", x3, "\n")
+//
+val r0 = f00(x1, x2, x3, x4)
+//
+val () = print1s
+(msg, ": res0 = ", r0, "\n") in r0 end
+//
+(* ****** ****** *)
+(* ****** ****** *)
+//
 (* ****** ****** *)(* ****** ****** *)
 (* ****** ****** *)(* ****** ****** *)
 

diff --git a/prelude/SATS/gdbg000.sats b/prelude/SATS/gdbg000.sats
@@ -104,68 +104,6 @@ g_ptype((*void*)): ( void )
 (* ****** ****** *)
 (* ****** ****** *)
 //
-(*
-HX-2024-08-24:
-Sat 24 Aug 2024 06:29:26 PM EDT
-*)
-//
-#typedef
-f0un(r0:vt) = () -> r0
-//
-#typedef
-f1un
-(a1:t0,r0:vt) = (a1) -> r0
-//
-#typedef
-f2un
-(a1:t0
-,a2:t0,r0:vt) = (a1,a2) -> r0
-//
-#typedef
-f3un
-(a1:t0
-,a2:t0
-,a3:t0,r0:vt) = (a1,a2,a3) -> r0
-//
-(* ****** ****** *)
-//
-fun
-<r0:vt>
-f_trace_f0un
-(msg: strn
-,f00: f0un(r0)): f0un(r0)
-fun
-<a1:t0>
-<r0:vt>
-f_trace_f1un
-(msg: strn
-,f00: f1un(a1,r0)): f1un(a1,r0)
-fun
-<a1:t0>
-<a2:t0>
-<r0:vt>
-f_trace_f2un
-(msg: strn
-,f00: f2un(a1,a2,r0)): f2un(a1,a2,r0)
-fun
-<a1:t0>
-<a2:t0>
-<a3:t0>
-<r0:vt>
-f_trace_f3un
-(msg: strn
-,f00: f3un(a1,a2,a3,r0)): f3un(a1,a2,a3,r0)
-//
-(* ****** ****** *)
-//
-#symload trace with f_trace_f0un of 1000
-#symload trace with f_trace_f1un of 1000
-#symload trace with f_trace_f2un of 1000
-#symload trace with f_trace_f3un of 1000
-//
-(* ****** ****** *)
-(* ****** ****** *)
-//
 (* ****** ****** *)(* ****** ****** *)
 (* ****** ****** *)(* ****** ****** *)