[opentheory-users] opentheory tool unhandled exception

Ramana Kumar ramana.kumar at gmail.com
Fri Sep 23 09:06:21 UTC 2011

On Fri, Sep 23, 2011 at 12:48 AM, Joe Hurd <joe at gilith.com> wrote:
> I was able to reproduce the error you got when running opentheory
> init, so I made sure it printed a nicer error message:
> $ bin/mosml/opentheory init
> FATAL ERROR: opentheory failed:
> couldn't create a new theory directory /Users/joe/.opentheory
> system error: mkDir failed on `/Users/joe/.opentheory': File exists


> Please let me know if you find any more unhandled exceptions.

Sure, here's another one in the same vein.

ramana at lois ~ % 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 176.5
	fn src/opentheory.sml 219.7
	list src/opentheory.sml 2385.5
ramana at lois ~ % ls -l .opentheory
lrwxrwxrwx 1 ramana users 19 Sep 16 18:06 .opentheory -> /dev/shm/opentheory
ramana at lois ~ % ls -l /dev/shm/opentheory
total 0

More information about the opentheory-users mailing list