Re: [Axiom-developer] Re: CCL development

[Mike Dewar]

According to our logs that particular fix came from Barry Trager but I
don't have all my mail files from 1996 any more so can't find the
message saying why.  

Sorry I can't be of more help,
Mike.


On Thu, Feb 20, 2003 at 12:39:16AM -0500, Tim Daly wrote:
>  
> > Somehow we need to ensure that all the useful but undocumented
> > information about Axiom and CCL stored in Themos and my brains is made
> > explicit, so please let me know about any problems you encounter.
> > Although I can't promise to be able to help I will certainly try.
> 
> One particular problem I'm chasing is that algebra files that contain
> lookups like:
>         if S has SetCategory then SetCategory
> fail by going into an infinite look in knownInfo (info.boot).
> It appears that this code has been rewritten and no longer works in
> common lisp although it must somehow work in CCL. knownInfo does in
> fact find that (has s SetCategory) exists but then appears to call
> itself again. The offending code appears to be:
> 
> 
>     -- This line caused recursion on predicates which are no use in deciding
>     -- whether a category was present.
>     -- or/[AncestorP(cat,LIST CAR u) for u in CADR catlist | knownInfo CADR 
> u] => true
>     or/[AncestorP(cat,LIST CAR u) and knownInfo CADR u for u in CADR catlist] 
> => true
>     false
> 
> The call to knownInfo in this line recurses infinitely. This bug is holding
> up the final algebra build. Any insight as to why this was rewritten and/or
> why it recurses when it has clearly found the property would be most welcome.
> 
> Tim
> 
> ________________________________________________________________________
> This e-mail has been scanned for all viruses by Star Internet. The
> service is powered by MessageLabs. For more information on a proactive
> anti-virus service working around the clock, around the globe, visit:
> http://www.star.net.uk
> ________________________________________________________________________

________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________