The documentation

https://docs.racket-lang.org/rackunit/internals.html?q=run-test-case#%28def._%28%28lib._rackunit%2Fmain..rkt%29._foldts-test-suite%29%29

says that `folds-test-suite` can be implemented in terms of
`fold-test-results` as follows:

(define
<https://docs.racket-lang.org/reference/define.html#%28form._%28%28lib._racket%2Fprivate%2Fbase..rkt%29._define%29%29>
 (fold-test-results
<https://docs.racket-lang.org/rackunit/internals.html?q=run-test-case#%28def._%28%28lib._rackunit%2Fmain..rkt%29._fold-test-results%29%29>
 suite-fn case-fn seed test)
  (foldts-test-suite
<https://docs.racket-lang.org/rackunit/internals.html?q=run-test-case#%28def._%28%28lib._rackunit%2Fmain..rkt%29._foldts-test-suite%29%29>
   (lambda
<https://docs.racket-lang.org/reference/lambda.html#%28form._%28%28lib._racket%2Fprivate%2Fbase..rkt%29._lambda%29%29>
 (suite name before
<https://docs.racket-lang.org/rackunit/api.html?q=run-test-case#%28form._%28%28lib._rackunit%2Fmain..rkt%29._before%29%29>
 after
<https://docs.racket-lang.org/rackunit/api.html?q=run-test-case#%28form._%28%28lib._rackunit%2Fmain..rkt%29._after%29%29>
 seed)
     (before
<https://docs.racket-lang.org/rackunit/api.html?q=run-test-case#%28form._%28%28lib._rackunit%2Fmain..rkt%29._before%29%29>
)
     (suite-fn name seed))
   (lambda
<https://docs.racket-lang.org/reference/lambda.html#%28form._%28%28lib._racket%2Fprivate%2Fbase..rkt%29._lambda%29%29>
 (suite name before
<https://docs.racket-lang.org/rackunit/api.html?q=run-test-case#%28form._%28%28lib._rackunit%2Fmain..rkt%29._before%29%29>
 after
<https://docs.racket-lang.org/rackunit/api.html?q=run-test-case#%28form._%28%28lib._rackunit%2Fmain..rkt%29._after%29%29>
 seed kid-seed)
     (after
<https://docs.racket-lang.org/rackunit/api.html?q=run-test-case#%28form._%28%28lib._rackunit%2Fmain..rkt%29._after%29%29>
)
     kid-seed)
   (lambda
<https://docs.racket-lang.org/reference/lambda.html#%28form._%28%28lib._racket%2Fprivate%2Fbase..rkt%29._lambda%29%29>
 (case
<https://docs.racket-lang.org/reference/case.html#%28form._%28%28lib._racket%2Fprivate%2Fmore-scheme..rkt%29._case%29%29>
 name action seed)
     (case-fn
       (run-test-case
<https://docs.racket-lang.org/rackunit/internals.html?q=run-test-case#%28def._%28%28lib._rackunit%2Fmain..rkt%29._run-test-case%29%29>
 name action)
       seed))
   seed
   test))

I'm curious why the value of `seed` in the second argument (the fup
position) — highlighted — is ignored. I was guessing that, since this is a
tree-fold, there are values "from across" and "from down", and we don't
want to throw either one away. Wouldn't we want to take a combinator that
combines the two?

Shriram

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAJUf2yTh%2BmNNLYpD4D1SDynR1eKN_iKva%2B1TzacEWFn6jV3UyQ%40mail.gmail.com.

Reply via email to