Hi Mike, I have located some mails I sent in 2005 where exactly this error was reported under mosml. The problem apparently arose because lots of ML level identifiers (val f, val g...) were created, and some internal mosml limit was breached. To get around this problem, Peter Sestoft provided a patched version of mosml that was able to deal with many more identifiers. We then used this version of mosml on the NetSem project.
Perhaps Peter can put these changes in the current release of mosml. Alternatively I can probably track down some instructions for patching a release of mosml to fix this problem. Hope this is relevant Tom 2008/10/14 Mike Gordon <[EMAIL PROTECTED]>: > > 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
