File missing and argument errors could be improved

FStarLang / FStar

A Proof-oriented Programming Language

https://fstar-lang.org

Apache License 2.0

2.7k stars 234 forks source link

File missing and argument errors could be improved #3463

Open briangmilnes opened 2 months ago

briangmilnes commented 2 months ago

I've run into multiple Sys_error no such file bugs.

Ideally for a user, it would not ask for a bug report when a file is missing. And it print just the help for the switch(es) that were violated and suggest a full fstar.exe --help.