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