[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