Waldek Hebisch <[EMAIL PROTECTED]> writes: > I am for the change. However, it would be good to test it together with the > patch below. The patch below should disable use of '^' as prefix operator.
It seems that the patch below requires changes to boot code too - at least, build fails. I'll try without that patch. If I succeed, I'll propose a patch that modifies the boot code accordingly, too. Martin > --- trunk/src/interp/newaux.lisp 2008-08-29 00:53:18.000000000 +0000 > +++ trunk.nn/src/interp/newaux.lisp 2008-09-02 23:13:35.000000000 +0000 > @@ -131,7 +131,7 @@ > (\' 999 999 (|PARSE-Data|)) > (\<\< 122 120 (|PARSE-LabelExpr|)) > (\>\>) > - (^ 260 259 NIL) > +;; (^ 260 259 NIL) > (\-\> 1001 1002) > (\: 194 195) > (|not| 260 259 NIL) 11 making database.clisp from ../../../fricas-negation/src/interp/database.boot echo '(progn (boottran::boottocl "../../../fricas-negation/src/interp/database.boot" "database.clisp") (quit))' | /local/scratch/ax-build-neg ation/build/i686-pc-linux/bin/depsys GCL (GNU Common Lisp) 2.6.8 CLtL1 Jan 29 2008 15:05:23 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (READLINE BFD UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files set to /tmp/ >******** Boot Syntax Error detected ******** The current line is: Currently preparsed lines are: 118> (^skip and pred is ['isDomain,pvar,.] and pvar="*1")) => 119> (oldList:=delete(pred,oldList); 120> lastPreds:=[pred,:lastPreds]); 124> lastDependList := "UNIONQ"/[listOfPatternIds x for x in lastPreds]; 128> dependList := 129> "UNIONQ"/[listOfPatternIds y for x in oldList | 130> x is ['isDomain,.,y] or x is ['ofCategory,.,y]]; 134> for x in oldList repeat 135> (if (x is ['ofCategory,v,body]) or (x is ['isDomain,v,body]) then 136> (indepvl:=listOfPatternIds v; 137> depvl:=listOfPatternIds body) 138> else 139> (indepvl := listOfPatternIds x; 140> depvl := nil); 141> (INTERSECTIONQ(indepvl,dependList) = nil) 142> and INTERSECTIONQ(indepvl,lastDependList) => 143> (somethingDone := true; 144> lastPreds := [:lastPreds,x]; 145> oldList := delete(x,oldList))); 152> while oldList repeat 153> (for x in oldList repeat 154> (if (x is ['ofCategory,v,body]) or (x is ['isDomain,v,body]) then 155> (indepvl:=listOfPatternIds v; 156> depvl:=listOfPatternIds body) 157> else 158> (indepvl := listOfPatternIds x; 159> depvl := nil); 160> (INTERSECTIONQ(indepvl,dependList) = nil) => 161> (dependList:= setDifference(dependList,depvl); 162> newList:= [:newList,x])); 166> (noldList:= setDifference(oldList,newList)) = oldList => 168> (newList := [:newList,:oldList]; 169> return nil); 170> oldList:=noldList); 173> for pred in newList repeat 174> if pred is ['isDomain,x,y] or x is ['ofCategory,x,y] then 175> (ids:= listOfPatternIds y; 176> if and/[id in fullDependList for id in ids] then 177> fullDependList:= insertWOC(x,fullDependList); 178> fullDependList:= UNIONQ(fullDependList,ids)); 179> newList:=[:newList,:lastPreds]; 181> newList := isDomainSubst newList; 182> answer := [['AND,:newList],:INTERSECTIONQ(fullDependList,sig)]) There are no valid tokens. The prior token was Structure of type TOKEN Byte:[Slot Type]Slot Name :Slot Value 0:SYMBOL :|and| 4:TYPE :KEYWORD 8:NONBLANK :T Error: The function |systemError| is undefined. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by RETURN. Broken at APPLY. Type :H for Help. BOOT>>make[3]: *** [database.clisp] Fehler 255 make[3]: Verlasse Verzeichnis '/local/scratch/ax-build-negation/src/interp' make[2]: *** [all-interpsys] Fehler 2 make[2]: Verlasse Verzeichnis '/local/scratch/ax-build-negation/src/interp' make[1]: *** [all-interpsys] Fehler 2 make[1]: Verlasse Verzeichnis '/local/scratch/ax-build-negation/src' make: *** [all-src] Fehler 2 --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
