Catch OCaml Out_of_memory and Stack_overflow in test and our top level

FStarLang / FStar

A Proof-oriented Programming Language

https://fstar-lang.org

Apache License 2.0

2.7k stars 234 forks source link

Catch OCaml Out_of_memory and Stack_overflow in test and our top level #3601

Open briangmilnes opened 2 weeks ago

briangmilnes commented 2 weeks ago

It would be good, but by no means of priority, to test catching and printing of these two basic errors from OCaml. We can catch them but not print them so a top level try in a program will be rather mysterious.