[opentheory-users] opentheory tool unhandled exception

Ramana Kumar ramana.kumar at gmail.com
Wed Sep 7 07:26:34 UTC 2011


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