Hi, Camm -- Please see below.
Cc: gcl-devel@gnu.org, dagr...@rockwellcollins.com From: Camm Maguire <c...@maguirefamily.org> Date: Mon, 18 May 2009 13:19:26 -0400 X-SpamAssassin-Status: No, hits=-2.6 required=5.0 X-UTCS-Spam-Status: No, hits=-252 required=165 Greetings! Matt Kaufmann <kaufm...@cs.utexas.edu> writes: > Hi, Camm -- > > By the way, I'm still seeing a problem with GCL 2.6.8pre that we've > discussed over the years: A "Bad plist" error that seems to occur > randomly. I don't have any suggestions -- we've kind of exhausted > what I can offer, and unfortunately, the error seems intermittent. > Anyhow, I thought you might want to know it's still there. At UT CS, > the version I used is /lusr/opt/gcl-2.6.8pre/bin/gcl, and my latest > error looks like this: > > Error: Bad plist ((< (EXPO X) K) (IF (< # A) (IF # # ...) ...) (QUOTE NIL)) > > But "Bad plist" has taken many different forms over time. > Does this mean you get a different error message on occasion? Yes. Here's a snippet from an email dated 12 Sep 2006 12:38:39 -0500: [SGC for 13 CFUN pages..(12895 writable)..(T=4).GC finished] Error: Bad plist #<FREE OBJECT 0b669528> Does the gc mode (i.e. sgc) affect this? Good question. Should I try running with SGC off? Any other list corruption? (I'm assuming you can examine and verify the bad plist after this error.) No, sorry; I run in batch mode using makefiles. > I've run the ACL2 regression on Clozure CL (CCL) with safety 3 not > long ago (and ACL2 has changed little since then), so there's some > evidence at least that this isn't ACL2's fault. > > My only suggestion is that you run a bunch of regression runs and see > if you can make this happen on your own system. But maybe that's not > helpful. > Is it possible to reactivate my account at ut so that I might try to reproduce this? I'll try right now! Take care, Thanks -- -- Matt > Regards, > Matt > > > > -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
