r7rs-work
r7rs-work copied to clipboard
An error of `cwv` in R7RS-small 7.2.4
Originally pointed out by @zick in https://twitter.com/zick_minoh/status/1525789599997448192 (in Japanese).
While the type of applicate
is E → E* → P → K → C
, the definition of cwv
contains an expression applicate ε₂ε*ω
which implies E → E* → P → C
. The corresponding part should be applicate ε₂ε*ωκ
.