Format module incorrectly parses format string allowing to escape arguments #5973
Original bug ID: 5973
"@%s" format string when parsed by Format module breaks typing:
Steps to reproduce
let _ = Format.(fprintf std_formatter "@%s%a" "" (fun _ _ -> ()) ())
Will execute "" as if it was a closure leading to unpredictable behavior, probably a segmentation fault.
The text was updated successfully, but these errors were encountered:
Comment author: @pierreweis
Fixed in trunk and in 4.00.2+dev1. Old obsolete @ escape behaviour was still implemented in module Format. Weird.
Two remarks to conclude: