Skip to content

Commit

Permalink
Updating: very very minorly
Browse files Browse the repository at this point in the history
  • Loading branch information
@githwxi
githwxi committed Oct 7, 2024
1 parent 4a8455c commit 4e62eb6
Show file tree
Hide file tree
Showing 53 changed files with 328 additions and 322 deletions.
12 changes: 8 additions & 4 deletions srcgen2/DATS/lexing0_print0.dats
View file
Original file line number Diff line number Diff line change
Expand Up @@ -451,6 +451,14 @@ T_SRP_SYMLOAD() =>
prints("T_SRP_SYMLOAD(", ")")
//
|
T_SRP_STALOAD() =>
prints("T_SRP_STALOAD(", ")")
//
|
T_SRP_DYNINIT() =>
prints("T_SRP_DYNINIT(", ")")
//
|
T_SRP_INCLUDE() =>
prints("T_SRP_INCLUDE(", ")")
(*
Expand All @@ -460,10 +468,6 @@ prints("T_SRP_INPASTE(", ")")
*)
//
|
T_SRP_STALOAD() =>
prints("T_SRP_STALOAD(", ")")
//
|
T_SRP_EXTCODE() =>
prints("T_SRP_EXTCODE(", ")")
//
Expand Down
80 changes: 40 additions & 40 deletions srcgen2/TEST/JS/test01_xbasics.dats
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,21 +16,21 @@
(* ****** ****** *)

val () =
prerrln("PROPSORT = ", PROPSORT)
prerrsln("PROPSORT = ", PROPSORT)
val () =
prerrln("VIEWSORT = ", VIEWSORT)
prerrsln("VIEWSORT = ", VIEWSORT)
val () =
prerrln("TBOXSORT = ", TBOXSORT)
prerrsln("TBOXSORT = ", TBOXSORT)
val () =
prerrln("TFLTSORT = ", TFLTSORT)
prerrsln("TFLTSORT = ", TFLTSORT)
val () =
prerrln("TYPESORT = ", TYPESORT)
prerrsln("TYPESORT = ", TYPESORT)
val () =
prerrln("VTBXSORT = ", VTBXSORT)
prerrsln("VTBXSORT = ", VTBXSORT)
val () =
prerrln("VTFTSORT = ", VTFTSORT)
prerrsln("VTFTSORT = ", VTFTSORT)
val () =
prerrln("VWTPSORT = ", VWTPSORT)
prerrsln("VWTPSORT = ", VWTPSORT)

(* ****** ****** *)
//
Expand All @@ -39,85 +39,85 @@ let
val
k1 = 10
in//let
prerrln("sortbox(",k1,")=",sortbox(k1));
prerrln("sortlin(",k1,")=",sortlin(k1));
prerrln("sortprf(",k1,")=",sortprf(k1));
prerrln("sortpol(",k1,")=",sortpol(k1));
prerrsln("sortbox(",k1,")=",sortbox(k1));
prerrsln("sortlin(",k1,")=",sortlin(k1));
prerrsln("sortprf(",k1,")=",sortprf(k1));
prerrsln("sortpol(",k1,")=",sortpol(k1));
end // end of [let]
//
val () =
let
val
k1 = 15
in//let
prerrln("sortbox(",k1,")=",sortbox(k1));
prerrln("sortlin(",k1,")=",sortlin(k1));
prerrln("sortprf(",k1,")=",sortprf(k1));
prerrln("sortpol(",k1,")=",sortpol(k1));
prerrsln("sortbox(",k1,")=",sortbox(k1));
prerrsln("sortlin(",k1,")=",sortlin(k1));
prerrsln("sortprf(",k1,")=",sortprf(k1));
prerrsln("sortpol(",k1,")=",sortpol(k1));
end // end of [let]
//
(* ****** ****** *)

val () =
prerrln("DCKval() = ", DCKval())
prerrsln("DCKval() = ", DCKval())
val () =
prerrln("DCKfun() = ", DCKfun())
prerrsln("DCKfun() = ", DCKfun())
val () =
prerrln("DCKpraxi() = ", DCKpraxi())
prerrsln("DCKpraxi() = ", DCKpraxi())
val () =
prerrln("DCKprfun() = ", DCKprfun())
prerrsln("DCKprfun() = ", DCKprfun())
val () =
prerrln("DCKprval() = ", DCKprval())
prerrsln("DCKprval() = ", DCKprval())
val () =
prerrln("DCKfcast() = ", DCKfcast())
prerrsln("DCKfcast() = ", DCKfcast())

(* ****** ****** *)

val () =
prerrln("VLKval() = ", VLKval())
prerrsln("VLKval() = ", VLKval())
val () =
prerrln("VLKvlp() = ", VLKvlp())
prerrsln("VLKvlp() = ", VLKvlp())
val () =
prerrln("VLKvln() = ", VLKvln())
prerrsln("VLKvln() = ", VLKvln())
val () =
prerrln("VLKprval() = ", VLKprval())
prerrsln("VLKprval() = ", VLKprval())

(* ****** ****** *)

val () =
println("FNKfn0() = ", FNKfn0())
prerrsln("FNKfn0() = ", FNKfn0())
val () =
proutln("FNKfn1() = ", FNKfn1())
prerrsln("FNKfn1() = ", FNKfn1())
val () =
prerrln("FNKfnx() = ", FNKfnx())
prerrsln("FNKfnx() = ", FNKfnx())
val () =
prerrln("FNKpraxi() = ", FNKpraxi())
prerrsln("FNKpraxi() = ", FNKpraxi())
val () =
prerrln("FNKprfun() = ", FNKprfun())
prerrsln("FNKprfun() = ", FNKprfun())
val () =
prerrln("FNKfcast() = ", FNKfcast())
prerrsln("FNKfcast() = ", FNKfcast())

(* ****** ****** *)

val () =
prerrln("CSKcas0() = ", CSKcas0())
prerrsln("CSKcas0() = ", CSKcas0())
val () =
prerrln("CSKcasp() = ", CSKcasp())
prerrsln("CSKcasp() = ", CSKcasp())
val () =
prerrln("CSKcasn() = ", CSKcasn())
prerrsln("CSKcasn() = ", CSKcasn())

(* ****** ****** *)

val () =
prerrln("IMPLgen() = ", IMPLgen())
prerrsln("IMPLgen() = ", IMPLgen())
val () =
prerrln("IMPLprf() = ", IMPLprf())
prerrsln("IMPLprf() = ", IMPLprf())
val () =
prerrln("IMPLval() = ", IMPLval())
prerrsln("IMPLval() = ", IMPLval())
val () =
prerrln("IMPLfun() = ", IMPLfun())
prerrsln("IMPLfun() = ", IMPLfun())
val () =
prerrln("IMPLtmp() = ", IMPLtmp())
prerrsln("IMPLtmp() = ", IMPLtmp())

(* ****** ****** *)

Expand Down
4 changes: 2 additions & 2 deletions srcgen2/TEST/JS/test02_lexing0.dats
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,9 +18,9 @@
(* ****** ****** *)
//
val () =
prerrln("T_EOF() = ", T_EOF())
prerrsln("T_EOF() = ", T_EOF())
val () =
prerrln("T_ERR() = ", T_ERR())
prerrsln("T_ERR() = ", T_ERR())
//
(* ****** ****** *)

Expand Down
24 changes: 12 additions & 12 deletions srcgen2/TEST/JS/test03_xstamp0.dats
View file
Original file line number Diff line number Diff line change
Expand Up @@ -22,45 +22,45 @@ val
tmper1=stamper_new()
(* ****** ****** *)
val () =
prerrln
prerrsln
( "nilq(nil) = "
, nilq(the_stamp_nil))
val () =
prerrln
prerrsln
( "nilq(nil) = "
, neqz(the_stamp_nil))
(* ****** ****** *)
val () =
prerrln
prerrsln
("the_stamp_nil = ", the_stamp_nil)
(* ****** ****** *)
//
val ( ) =
prerrln("tmp1 = ", tmper0.getinc())
prerrsln("tmp1 = ", tmper0.getinc())
val ( ) =
prerrln("tmp2 = ", tmper0.getinc())
prerrsln("tmp2 = ", tmper0.getinc())
//
val
tmp3 =
tmper0.getinc() and tmp4 = tmper0.getinc()
//
val ( ) =
prerrln("cmp(tmp3, tmp3) = ", tmp3 \cmp tmp3)
prerrsln("cmp(tmp3, tmp3) = ", tmp3 \cmp tmp3)
val ( ) =
prerrln("cmp(tmp3, tmp4) = ", tmp3 \cmp tmp4)
prerrsln("cmp(tmp3, tmp4) = ", tmp3 \cmp tmp4)
val ( ) =
prerrln("cmp(tmp4, tmp3) = ", tmp4 \cmp tmp3)
prerrsln("cmp(tmp4, tmp3) = ", tmp4 \cmp tmp3)
val ( ) =
prerrln("cmp(tmp4, tmp4) = ", tmp4 \cmp tmp4)
prerrsln("cmp(tmp4, tmp4) = ", tmp4 \cmp tmp4)
//
val ( ) = tmper1.tmpset(1000)
//
val ( ) =
prerrln("tmper1.getinc() = ", tmper1.getinc())
prerrsln("tmper1.getinc() = ", tmper1.getinc())
val ( ) =
prerrln("tmper1.getinc() = ", tmper1.getinc())
prerrsln("tmper1.getinc() = ", tmper1.getinc())
val ( ) =
prerrln("tmper1.getinc() = ", tmper1.getinc())
prerrsln("tmper1.getinc() = ", tmper1.getinc())
//
(* ****** ****** *)

Expand Down
12 changes: 6 additions & 6 deletions srcgen2/TEST/JS/test04_xsymbol.dats
View file
Original file line number Diff line number Diff line change
Expand Up @@ -33,16 +33,16 @@
(* ****** ****** *)
//
val () =
prerrln
prerrsln
("the_symbl_nil = ", the_symbl_nil)
//
(* ****** ****** *)
//
val () = prerrln("sym1 = ", symbl("sym1"))
val () = prerrln("sym2 = ", symbl("sym2"))
val () = prerrln("sym1 = ", symbl("sym1"))
val () = prerrln("sym2 = ", symbl("sym2"))
val () = prerrln("sym3 = ", symbl("sym3"))
val () = prerrsln("sym1 = ", symbl("sym1"))
val () = prerrsln("sym2 = ", symbl("sym2"))
val () = prerrsln("sym1 = ", symbl("sym1"))
val () = prerrsln("sym2 = ", symbl("sym2"))
val () = prerrsln("sym3 = ", symbl("sym3"))
//
(* ****** ****** *)

Expand Down
18 changes: 9 additions & 9 deletions srcgen2/TEST/JS/test05_filpath.dats
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,18 +24,18 @@
(* ****** ****** *)

val () =
prerrln("theDirSep = ", theDirSep_get())
prerrsln("theDirSep = ", theDirSep_get())
val () =
prerrln("theCurDir = ", theCurDir_get())
prerrsln("theCurDir = ", theCurDir_get())
val () =
prerrln("theParDir = ", theParDir_get())
prerrsln("theParDir = ", theParDir_get())

(* ****** ****** *)

val () =
let
val dpx = "./.." in
prerrln
prerrsln
("drpth(", '"', dpx, '"', ") = ", drpth(dpx))
end // end of [val ()]

Expand All @@ -50,16 +50,16 @@ gseq_group_lstrm(fpx) where
#impltmp
group$test<cgtz>(ch) = (ch != DS) }

val ( ) = prerrln("nms = ", listize0(nms))
val ( ) = prerrsln("nms = ", listize0(nms))

(* ****** ****** *)

val ( ) =
let
val fpx = "../../../a/ab/abc/abcd"
in
prerrln("fpx = ", fpx);
prerrln("fpath_normq(fpx) = ", fpath_normq(fpx))
prerrsln("fpx = ", fpx);
prerrsln("fpath_normq(fpx) = ", fpath_normq(fpx))
end

(* ****** ****** *)
Expand All @@ -68,8 +68,8 @@ val ( ) =
let
val fpx = "./a/../ab/../abc/../../abcde"
in
prerrln("fpx = ", fpx);
prerrln("fpath_normize(fpx) = ", fpath_normize(fpx))
prerrsln("fpx = ", fpx);
prerrsln("fpath_normize(fpx) = ", fpath_normize(fpx))
end

(* ****** ****** *)
Expand Down
12 changes: 6 additions & 6 deletions srcgen2/TEST/JS/test06_locinfo.dats
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,22 +20,22 @@ postn(0, 0, 0)
and pos1 =
postn(5, 1, 2)
val ( ) =
prerrln("postn(0, 0, 0) = ", pos0)
prerrsln("postn(0, 0, 0) = ", pos0)
and ( ) =
prerrln("postn(5, 1, 2) = ", pos1)
prerrsln("postn(5, 1, 2) = ", pos1)
val ( ) =
prerrln("(pos0 < pos1) = ", (pos0 < pos1))
prerrsln("(pos0 < pos1) = ", (pos0 < pos1))
val ( ) =
prerrln("pos0\\cmp(pos1) = ", (pos0\cmp(pos1)))
prerrsln("pos0\\cmp(pos1) = ", (pos0\cmp(pos1)))

(* ****** ****** *)

val loc0 =
loctn(LCSRCnone0(), pos0, pos1)
val loc1 =
loctn(LCSRCsome1("__XSTRING__"), pos0, pos1)
val ( ) = prerrln("loc0 = ", loc0)
val ( ) = prerrln("loc1 = ", loc1)
val ( ) = prerrsln("loc0 = ", loc0)
val ( ) = prerrsln("loc1 = ", loc1)

(* ****** ****** *)

Expand Down
Loading

0 comments on commit 4e62eb6

Please sign in to comment.