[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
Thanks!
> 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
<main>
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