Closed JasonGross closed 6 months ago
Indeed! man String
reveals
val fold_right : (char -> 'acc -> 'acc) -> string -> 'acc -> 'acc
fold_right f s x computes f s.[0] (f s.[1] ( ... (f s.[n-1] x) ...)) ,
where n is the length of the string s .
Since 4.13
so this can be fixed by adding a lower bound.
There is a Stdlib overlay (compiler/lib/stdlib.ml) where such function can be added.
Describe the bug
https://github.com/JasonGross/test/actions/runs/6976358757/job/18984699373#step:4:3064
There's a chance this is a red herring from me passing
--best-effort
toopam pin add