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
> [email protected]
> 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
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
