[opentheory-users] opentheory tool unhandled exception
Ramana Kumar
ramana.kumar at gmail.com
Thu Sep 8 09:56:08 UTC 2011
there's another unhandled exception
ramana at lois >pentheory % opentheory init
unhandled exception: SysErr: File exists [exist]
with history:
PosixError.raiseSys $(SML_LIB)/basis/posix/error.sml 224.11
Directory.create src/Directory.sml 95.5
initDirectory src/opentheory.sml 182.5
init src/opentheory.sml 1701.5
<main>
On Wed, Sep 7, 2011 at 8:26 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
> On Wed, Sep 7, 2011 at 7:03 AM, Joe Hurd <joe at gilith.com> wrote:
>> Hi Ramana,
>>
>> This isn't the intended behavior. I had some debug exception handling
>> code in that may have been affecting matters - this is now fixed and
>> pushed, so please pull and try again.
>
> I still get the exact same error. I updated to abf0953 and did make
> clean; make init; make mlton.
>
>>
>> I assume you're using the development version, but what platform (ML
>> compiler and OS) are you using?
>
> ramana at lois >pentheory % uname -a
> Linux lois 3.0-ARCH #1 SMP PREEMPT Sat Aug 6 16:18:35 CEST 2011 x86_64
> Intel(R) Core(TM) i5 CPU 660 @ 3.33GHz GenuineIntel GNU/Linux
> ramana at lois >pentheory % mlton
> MLton 20100608 (built Fri Dec 10 19:53:21 GMT 2010 on lois)
>
>>
>> Cheers,
>>
>> Joe
>>
>> On Tue, Sep 6, 2011 at 4:49 PM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
>>> % 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...
>>>
>>> _______________________________________________
>>> opentheory-users mailing list
>>> opentheory-users at gilith.com
>>> http://www.gilith.com/opentheory/mailing-list
>>>
>>
>> _______________________________________________
>> opentheory-users mailing list
>> opentheory-users at gilith.com
>> http://www.gilith.com/opentheory/mailing-list
>>
>
More information about the opentheory-users
mailing list