[opentheory-users] opentheory tool unhandled exception

[Joe Hurd]

Hi Ramana,

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.

Cheers,

Joe

On Fri, Sep 16, 2011 at 1:36 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
> On Fri, Sep 16, 2011 at 1:06 AM, Joe Hurd <joe at gilith.com> wrote:
>> Hi Ramana,
>>
>> I'm afraid I'm not getting these same errors, so I can't investigate
>> the problem.
>
> The problem was to do with whether the opentheory root directory
> exists or not. It's working for me now, so I don't mind any more,
> thanks. But you could experiment with deleting the directory or
> creating it as a symlink to a non-existent directory to try to catch
> the unhandled exceptions.
>
>>
>> Sorry for the inconvenience,
>>
>> Joe
>>
>> On Thu, Sep 8, 2011 at 2:56 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
>>> 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
>>>>>
>>>>
>>>
>>> _______________________________________________
>>> 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
>>
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>