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 racket-users+unsubscr...@googlegroups.com.
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