Hi Konrad and Mike, I used to see this error frequently when running MoscowML. With PolyML I haven't seen it yet. To me it seemed to arise fairly arbitrarily, the common factors were: (1) I had run HOL for a long time, and (2) Define had failed a number of times before the crash (I gave it bad inputs).
The error is quite serious because it crashes HOL completely. I had to restart HOL whenever it printed: ! Uncaught exception: ! Chr This error is one of the main reasons I switched to PolyML. Magnus On 14/10/2008, Konrad Slind <[EMAIL PROTECTED]> wrote: > This exception is probably not directly caused by running out of > space. Chr is raised by > > Char.chr : int -> char > > when applied to an int that doesn't map to a char. > > > Konrad. > > > On Oct 14, 2008, at 3:33 AM, Mike Gordon wrote: > > > > > Does anyone recognise: > > > > ! Uncaught exception: > > ! Chr > > > > as a symptom of some kind of running out of space? > > > > It arises when rebuilding examples/acl2/ml in newer versions of hol > > (warning: this takes a long time before crashing). > > > > Mike > > > > ---------------------------------------------------------------------- > > --- > > This SF.Net email is sponsored by the Moblin Your Move Developer's > > challenge > > Build the coolest Linux based applications with Moblin SDK & win > > great prizes > > Grand prize is a trip for two to an Open Source event anywhere in > > the world > > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > > _______________________________________________ > > hol-info mailing list > > hol-info@lists.sourceforge.net > > https://lists.sourceforge.net/lists/listinfo/hol-info > > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > hol-info mailing list > hol-info@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/hol-info > ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info