From 9604f2f73f98cbbc324f5966cc65568cc56dab57 Mon Sep 17 00:00:00 2001 From: Hongwei Xi Date: Wed, 25 Oct 2023 17:59:05 -0400 Subject: [PATCH] Updating: very very minorly --- docgenx/TEMPTORY/TEXT/GSEQ-intro.md | 12 ++++++------ prelude/SATS/VT/gseq000_vt.sats | 6 +++--- srcgen2/TEST/JS/DATA/trtmp3b_002.dats | 6 ++++++ 3 files changed, 15 insertions(+), 9 deletions(-) diff --git a/docgenx/TEMPTORY/TEXT/GSEQ-intro.md b/docgenx/TEMPTORY/TEXT/GSEQ-intro.md index a2026042f..b82909fda 100644 --- a/docgenx/TEMPTORY/TEXT/GSEQ-intro.md +++ b/docgenx/TEMPTORY/TEXT/GSEQ-intro.md @@ -71,23 +71,23 @@ to as a combinator (which originally means a closed term in lambda-calculus). ------ * **rforall**: - It is like `forall` but processing in done in the reverse order. + It is like `forall` but processing is done in the reverse order. * **rexists**: - It is like `exists` but processing in done in the reverse order. + It is like `exists` but processing is done in the reverse order. * **rforeach**: - It is like `foreach` but processing in done in the reverse order. + It is like `foreach` but processing is done in the reverse order. * **foldr**: - It is like `foldl` but processing in done in the reverse order. + It is like `foldl` but processing is done in the reverse order. * **rlistize**: It is for turning a given sequence into a linear list in the reverse order. * **rmap_list**: - It is like `map_list` but processing in done in the reverse order. + It is like `map_list` but processing is done in the reverse order. * **rmap_rlist**: - It is like `map_rlist` but processing in done in the reverse order. + It is like `map_rlist` but processing is done in the reverse order. ------ diff --git a/prelude/SATS/VT/gseq000_vt.sats b/prelude/SATS/VT/gseq000_vt.sats index 6927d20af..499e47e74 100644 --- a/prelude/SATS/VT/gseq000_vt.sats +++ b/prelude/SATS/VT/gseq000_vt.sats @@ -505,16 +505,16 @@ fun glseq_mul0$nil(): (x0) fun -glseq_mul0(xs): (x0) +glseq_mul0(~xs): (x0) // fun -glseq_map0_add0(xs): (y0) +glseq_map0_add0(~xs): (y0) fun -glseq_map0_mul0(xs): (y0) +glseq_map0_mul0(~xs): (y0) // (* ****** ****** *) // diff --git a/srcgen2/TEST/JS/DATA/trtmp3b_002.dats b/srcgen2/TEST/JS/DATA/trtmp3b_002.dats index 852060214..185fa737b 100644 --- a/srcgen2/TEST/JS/DATA/trtmp3b_002.dats +++ b/srcgen2/TEST/JS/DATA/trtmp3b_002.dats @@ -33,4 +33,10 @@ foldl$fopr (* ****** ****** *) +fun +fact(n: int): int = +glseq_mul0(strm_vt_range_lte(1, n)) + +(* ****** ****** *) + (* end of [DATA/trtmp3b_002.dats] *)