Unexpected error when missing all files

[briangmilnes]

F* 2024.08.14~dev platform=Linux_x86_64 compiler=OCaml 4.14.2 date=2024-09-02 15:23:16 -0700 commit=445f713ad8b276864ba7e205e028813e19324b66

I was goofing around with fstar arguments (in Forge makefiles) and darn Make did not evaluate things at the expected time, so I missed all the file arguments and put a bad library in it and wham:

/home/milnes/.opam/default/bin/fstar.exe --warn_error "-321-333-331" --use_hints --use_hint_hashes --record_hints --hint_dir _build/fstar/fst/hints --print_universes --print_implicits --cache_checked_modules --dep full --output_deps_to depend --cache_dir _build/fstar/fst/cached --include /home/milnes/.opam/default/lib/fstar/ucontrib/Platform/fst --include /home/milnes/.opam/default/lib/fstar/ucontrib/Platform/fst
Unexpected error; please file a bug report, ideally with a minimized version of the source program that triggered the error. Sys_error("/home/milnes/.opam/default/lib/fstar/ucontrib/Platform/fst: No such file or directory")

Probably should just be converted to a command line error.