gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] Windows issues - reversion


From: Matt Kaufmann
Subject: Re: [Gcl-devel] Windows issues - reversion
Date: Fri, 19 Sep 2003 11:27:51 -0500

Jacques --

>> Finally, I am not sure to have understood all the mails but somebody seems to
>> have suggested that the gc$ problem was related to a missing parameter

Good point.  I'll improve the ACL2 documentation to clarify that gc$ should be
called with arguments appropriate for the underlying host Lisp.  In GCL, gc$
turns into a call of si::gbc, which takes one argument.

(Unfortunately, I just noticed that there is an error in the ACL2 definition of
gc$; sorry.  This will be fixed in Version 2.8.  In the meantime, for explicit
garbage collection just exit the ACL2 loop with :q, then do (si::gbc t), then
(lp) to get back into the ACL2 loop.)

-- Matt
   Date: Fri, 19 Sep 2003 18:07:08 +0200
   From: Jacques Mequin <address@hidden>
   Organization: JSM software infrastructure, Texas Instruments France (Nice)
   X-Accept-Language: en
   CC: address@hidden, address@hidden, address@hidden,
           Jacques Mequin <address@hidden>
   Content-Type: text/plain; charset=us-ascii


   Matt,

   This used to work fine with your ftp ACL2 version based on gcl.2.5.0

   I have tried to start ACL2 (based on the current "cvs" 5.2.3, that is maybe
   unstable) in a regular DOS windows and it does fail after a control-c by
   returning directly to the DOS prompt

   Finally, I am not sure to have understood all the mails but somebody seems to
   have suggested that the gc$ problem was related to a missing parameter

   Thanks everybody for the time you are spending
   Otherhere, is Friday 18h, I think I am going to go back home

   Have a good weekend

   Regards,
     Jacques

   PS:  Xemacs does need control-c control-c but this is normal

   Matt Kaufmann wrote:

   > Jacques --
   >
   > I have a vague recollection of having a problem with Control-C on windows 
using
   > emacs.  Have you tried Control-C without an emacs or xemacs interface?
   >
   > -- Matt
   >    Date: Fri, 19 Sep 2003 17:44:04 +0200
   >    From: Jacques Mequin <address@hidden>
   >    Organization: JSM software infrastructure, Texas Instruments France 
(Nice)
   >    X-Accept-Language: en
   >    CC: Mike Thomas <address@hidden>,
   >            Matt Kaufmann <address@hidden>, address@hidden,
   >            Jacques Mequin <address@hidden>
   >    Content-Type: text/plain; charset=us-ascii
   >
   >    Wonderful, this exactly what it supposed to do
   >    I hope it will also work on win32
   >
   >    Regards,
   >        Jacques
   >
   >    Camm Maguire wrote:
   >
   >    > Greetings!
   >    >
   >    > BTW, I just tested the Control-C with my recent Linux build on top of
   >    > 2.6.1:
   >    >
   >    > 
=============================================================================
   >    >         (:TYPE-PRESCRIPTION EXPT-TYPE-PRESCRIPTION-NONZERO))
   >    > Warnings:  None
   >    > Time:  0.05 seconds (prove: 0.05, print: 0.00, other: 0.00)
   >    > EXPONENTS-ADD-NEGATIVE-NEGATIVE
   >    > 
   >    >
   >    > Error: Console interrupt.
   >    > Fast links are on: do (si::use-fast-links nil) for debugging
   >    > Error signalled by DEFTHM-FN.
   >    > Broken at COND.  Type :H for Help.
   >    > ACL2>>
   >    > 
=============================================================================




reply via email to

[Prev in Thread] Current Thread [Next in Thread]