[opentheory-users] opentheory tool unhandled exception
Ramana Kumar
ramana.kumar at gmail.com
Tue Sep 6 23:49:53 UTC 2011
% opentheory list
unhandled exception: SysErr: No such file or directory [noent]
with history:
PosixFileSys.opendir $(SML_LIB)/basis/posix/file-sys.sml 61.14
Directory.checkReposDirectory src/Directory.sml 47.7
Directory.mk src/Directory.sml 162.5
fn src/opentheory.sml 199.7
list src/opentheory.sml 2270.5
<main>
Although I don't expect to have any theories around to list, I also
would expect to get an empty list or at least have the exception
handled and printed as something more informative...
More information about the opentheory-users
mailing list