diff options
author | dos-reis <gdr@axiomatics.org> | 2009-04-25 17:20:33 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-04-25 17:20:33 +0000 |
commit | 205e00352c8372e5a4bf59cde160dea017295b6e (patch) | |
tree | 3f2fb95f37ebb66533a5f8463d5daa573055e496 | |
parent | 46254b227d3155c2abf6676e3642cbf2af2c1721 (diff) | |
download | open-axiom-205e00352c8372e5a4bf59cde160dea017295b6e.tar.gz |
* algebra/strap/PRIMARR.lsp: Remove.
-rwxr-xr-x | configure | 18 | ||||
-rw-r--r-- | configure.ac | 2 | ||||
-rw-r--r-- | configure.ac.pamphlet | 2 | ||||
-rw-r--r-- | src/ChangeLog | 4 | ||||
-rw-r--r-- | src/algebra/Makefile.in | 13 | ||||
-rw-r--r-- | src/algebra/Makefile.pamphlet | 13 | ||||
-rw-r--r-- | src/algebra/strap/PRIMARR.lsp | 235 | ||||
-rw-r--r-- | src/algebra/syntax.spad.pamphlet | 7 | ||||
-rw-r--r-- | src/interp/c-util.boot | 3 | ||||
-rw-r--r-- | src/interp/sys-utility.boot | 2 |
10 files changed, 38 insertions, 261 deletions
@@ -1,6 +1,6 @@ #! /bin/sh # Guess values for system-dependent variables and create Makefiles. -# Generated by GNU Autoconf 2.60 for OpenAxiom 1.3.0-2009-04-24. +# Generated by GNU Autoconf 2.60 for OpenAxiom 1.3.0-2009-04-25. # # Report bugs to <open-axiom-bugs@lists.sf.net>. # @@ -713,8 +713,8 @@ SHELL=${CONFIG_SHELL-/bin/sh} # Identity of this package. PACKAGE_NAME='OpenAxiom' PACKAGE_TARNAME='openaxiom' -PACKAGE_VERSION='1.3.0-2009-04-24' -PACKAGE_STRING='OpenAxiom 1.3.0-2009-04-24' +PACKAGE_VERSION='1.3.0-2009-04-25' +PACKAGE_STRING='OpenAxiom 1.3.0-2009-04-25' PACKAGE_BUGREPORT='open-axiom-bugs@lists.sf.net' ac_unique_file="src/Makefile.pamphlet" @@ -1406,7 +1406,7 @@ if test "$ac_init_help" = "long"; then # Omit some internal or obsolete options to make the list less imposing. # This message is too long to be a string in the A/UX 3.1 sh. cat <<_ACEOF -\`configure' configures OpenAxiom 1.3.0-2009-04-24 to adapt to many kinds of systems. +\`configure' configures OpenAxiom 1.3.0-2009-04-25 to adapt to many kinds of systems. Usage: $0 [OPTION]... [VAR=VALUE]... @@ -1476,7 +1476,7 @@ fi if test -n "$ac_init_help"; then case $ac_init_help in - short | recursive ) echo "Configuration of OpenAxiom 1.3.0-2009-04-24:";; + short | recursive ) echo "Configuration of OpenAxiom 1.3.0-2009-04-25:";; esac cat <<\_ACEOF @@ -1580,7 +1580,7 @@ fi test -n "$ac_init_help" && exit $ac_status if $ac_init_version; then cat <<\_ACEOF -OpenAxiom configure 1.3.0-2009-04-24 +OpenAxiom configure 1.3.0-2009-04-25 generated by GNU Autoconf 2.60 Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, @@ -1594,7 +1594,7 @@ cat >config.log <<_ACEOF This file contains any messages produced by compilers while running configure, to aid debugging if configure makes a mistake. -It was created by OpenAxiom $as_me 1.3.0-2009-04-24, which was +It was created by OpenAxiom $as_me 1.3.0-2009-04-25, which was generated by GNU Autoconf 2.60. Invocation command line was $ $0 $@ @@ -26808,7 +26808,7 @@ exec 6>&1 # report actual input values of CONFIG_FILES etc. instead of their # values after options handling. ac_log=" -This file was extended by OpenAxiom $as_me 1.3.0-2009-04-24, which was +This file was extended by OpenAxiom $as_me 1.3.0-2009-04-25, which was generated by GNU Autoconf 2.60. Invocation command line was CONFIG_FILES = $CONFIG_FILES @@ -26857,7 +26857,7 @@ Report bugs to <bug-autoconf@gnu.org>." _ACEOF cat >>$CONFIG_STATUS <<_ACEOF ac_cs_version="\\ -OpenAxiom config.status 1.3.0-2009-04-24 +OpenAxiom config.status 1.3.0-2009-04-25 configured by $0, generated by GNU Autoconf 2.60, with options \\"`echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`\\" diff --git a/configure.ac b/configure.ac index 7b1972c3..a829e854 100644 --- a/configure.ac +++ b/configure.ac @@ -1,6 +1,6 @@ sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.3.0-2009-04-24], +AC_INIT([OpenAxiom], [1.3.0-2009-04-25], [open-axiom-bugs@lists.sf.net]) AC_CONFIG_AUX_DIR(config) diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index ba27a1cb..73f23ae4 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -1131,7 +1131,7 @@ information: <<Autoconf init>>= sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.3.0-2009-04-24], +AC_INIT([OpenAxiom], [1.3.0-2009-04-25], [open-axiom-bugs@lists.sf.net]) @ diff --git a/src/ChangeLog b/src/ChangeLog index 65af902d..f9347929 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2009-04-25 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * algebra/strap/PRIMARR.lsp: Remove. + 2009-04-24 Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/syntax.spad.pamphlet (new$Identifier): New. diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index c8f691fc..ab0c6056 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -196,7 +196,7 @@ axiom_algebra_bootstrap = \ LNAGG- LSAGG LSAGG- MONOID \ MONOID- MTSCAT NNI OINTDOM \ ORDRING ORDRING- OUTFORM PI \ - PRIMARR POLYCAT POLYCAT- \ + POLYCAT POLYCAT- \ QFCAT QFCAT- RCAGG \ RCAGG- RING RING- \ RNG RNS RNS- SETAGG \ @@ -214,7 +214,7 @@ axiom_algebra_bootstrap_last_layer = \ INS INS- INT \ MTSCAT NNI \ OUTFORM PI \ - PRIMARR POLYCAT POLYCAT- \ + POLYCAT POLYCAT- \ QFCAT QFCAT- \ RNS RNS- \ SINT \ @@ -391,6 +391,9 @@ $(OUT)/CACHSET.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT) $(OUT)/ALIST.$(FASLEXT): $(OUT)/ALAGG.$(FASLEXT) $(OUT)/PATAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) $(OUT)/BOOLEAN.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) +$(OUT)/ES.$(FASLEXT): $(OUT)/PRIMARR.$(FASLEXT) +$(OUT)/VECTCAT.$(FASLEXT): $(OUT)/RADCAT.$(FASLEXT) + axiom_algebra_layer_1 = \ ABELGRP ABELGRP- ABELMON ABELMON- FORTCAT ITUPLE \ @@ -398,10 +401,10 @@ axiom_algebra_layer_1 = \ DIFRING DIFRING- ENTIRER INTDOM INTDOM- OINTDOM \ GCDDOM GCDDOM- UFD UFD- ES ES- \ PATAB PPCURVE PSCURVE CACHSET RESLATC REF \ - IDENT SEGCAT BINDING ALIST BOOLEAN \ + IDENT SEGCAT BINDING ALIST BOOLEAN PRIMARR \ ORDRING ORDRING- FEVALAB FEVALAB- \ OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \ - FIELD FIELD- + FIELD FIELD- VECTCAT VECTCAT- axiom_algebra_layer_1_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1)) @@ -571,7 +574,7 @@ axiom_algebra_layer_11 = \ PR PREASSOC PRIMARR2 REDORDER \ STREAM SYMPOLY \ TS TUPLE UPSCAT UPSCAT- \ - VECTCAT VECTCAT- XDPOLY XEXPPKG \ + XDPOLY XEXPPKG \ XF XF- XPBWPOLY XPOLY \ XRPOLY diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 489406b4..61d0c004 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -145,7 +145,7 @@ axiom_algebra_bootstrap = \ LNAGG- LSAGG LSAGG- MONOID \ MONOID- MTSCAT NNI OINTDOM \ ORDRING ORDRING- OUTFORM PI \ - PRIMARR POLYCAT POLYCAT- \ + POLYCAT POLYCAT- \ QFCAT QFCAT- RCAGG \ RCAGG- RING RING- \ RNG RNS RNS- SETAGG \ @@ -163,7 +163,7 @@ axiom_algebra_bootstrap_last_layer = \ INS INS- INT \ MTSCAT NNI \ OUTFORM PI \ - PRIMARR POLYCAT POLYCAT- \ + POLYCAT POLYCAT- \ QFCAT QFCAT- \ RNS RNS- \ SINT \ @@ -350,6 +350,9 @@ $(OUT)/CACHSET.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT) $(OUT)/ALIST.$(FASLEXT): $(OUT)/ALAGG.$(FASLEXT) $(OUT)/PATAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) $(OUT)/BOOLEAN.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) +$(OUT)/ES.$(FASLEXT): $(OUT)/PRIMARR.$(FASLEXT) +$(OUT)/VECTCAT.$(FASLEXT): $(OUT)/RADCAT.$(FASLEXT) + axiom_algebra_layer_1 = \ ABELGRP ABELGRP- ABELMON ABELMON- FORTCAT ITUPLE \ @@ -357,10 +360,10 @@ axiom_algebra_layer_1 = \ DIFRING DIFRING- ENTIRER INTDOM INTDOM- OINTDOM \ GCDDOM GCDDOM- UFD UFD- ES ES- \ PATAB PPCURVE PSCURVE CACHSET RESLATC REF \ - IDENT SEGCAT BINDING ALIST BOOLEAN \ + IDENT SEGCAT BINDING ALIST BOOLEAN PRIMARR \ ORDRING ORDRING- FEVALAB FEVALAB- \ OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \ - FIELD FIELD- + FIELD FIELD- VECTCAT VECTCAT- axiom_algebra_layer_1_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1)) @@ -583,7 +586,7 @@ axiom_algebra_layer_11 = \ PR PREASSOC PRIMARR2 REDORDER \ STREAM SYMPOLY \ TS TUPLE UPSCAT UPSCAT- \ - VECTCAT VECTCAT- XDPOLY XEXPPKG \ + XDPOLY XEXPPKG \ XF XF- XPBWPOLY XPOLY \ XRPOLY diff --git a/src/algebra/strap/PRIMARR.lsp b/src/algebra/strap/PRIMARR.lsp deleted file mode 100644 index 6c5d17a6..00000000 --- a/src/algebra/strap/PRIMARR.lsp +++ /dev/null @@ -1,235 +0,0 @@ - -(/VERSIONCHECK 2) - -(DECLAIM (FTYPE (FUNCTION ((|%SimpleArray| *) |%Shell|) - (|%IntegerSection| 0)) - |PRIMARR;#;$Nni;1|)) - -(PUT '|PRIMARR;#;$Nni;1| '|SPADreplace| '|sizeOfSimpleArray|) - -(DECLAIM (FTYPE (FUNCTION ((|%SimpleArray| *) |%Shell|) |%Integer|) - |PRIMARR;minIndex;$I;2|)) - -(PUT '|PRIMARR;minIndex;$I;2| '|SPADreplace| '(XLAM (|x|) 0)) - -(DECLAIM (FTYPE (FUNCTION (|%Shell|) (|%SimpleArray| *)) - |PRIMARR;empty;$;3|)) - -(DECLAIM (FTYPE (FUNCTION ((|%IntegerSection| 0) |%Thing| |%Shell|) - (|%SimpleArray| *)) - |PRIMARR;new;NniS$;4|)) - -(DECLAIM (FTYPE (FUNCTION ((|%SimpleArray| *) |%Integer| |%Shell|) - |%Thing|) - |PRIMARR;qelt;$IS;5|)) - -(PUT '|PRIMARR;qelt;$IS;5| '|SPADreplace| '|getSimpleArrayEntry|) - -(DECLAIM (FTYPE (FUNCTION ((|%SimpleArray| *) |%Integer| |%Shell|) - |%Thing|) - |PRIMARR;elt;$IS;6|)) - -(PUT '|PRIMARR;elt;$IS;6| '|SPADreplace| '|getSimpleArrayEntry|) - -(DECLAIM (FTYPE (FUNCTION - ((|%SimpleArray| *) |%Integer| |%Thing| |%Shell|) - |%Thing|) - |PRIMARR;qsetelt!;$I2S;7|)) - -(PUT '|PRIMARR;qsetelt!;$I2S;7| '|SPADreplace| '|setSimpleArrayEntry|) - -(DECLAIM (FTYPE (FUNCTION - ((|%SimpleArray| *) |%Integer| |%Thing| |%Shell|) - |%Thing|) - |PRIMARR;setelt;$I2S;8|)) - -(PUT '|PRIMARR;setelt;$I2S;8| '|SPADreplace| '|setSimpleArrayEntry|) - -(DECLAIM (FTYPE (FUNCTION ((|%SimpleArray| *) |%Thing| |%Shell|) - (|%SimpleArray| *)) - |PRIMARR;fill!;$S$;9|)) - -(DEFUN |PRIMARR;#;$Nni;1| (|x| $) - (DECLARE (IGNORE $)) - (|sizeOfSimpleArray| |x|)) - -(DEFUN |PRIMARR;minIndex;$I;2| (|x| $) (DECLARE (IGNORE $)) 0) - -(DEFUN |PRIMARR;empty;$;3| ($) - (|makeSimpleArray| (|getVMType| (|getShellEntry| $ 6)) 0)) - -(DEFUN |PRIMARR;new;NniS$;4| (|n| |x| $) - (|makeFilledSimpleArray| (|getVMType| (|getShellEntry| $ 6)) |n| |x|)) - -(DEFUN |PRIMARR;qelt;$IS;5| (|x| |i| $) - (DECLARE (IGNORE $)) - (|getSimpleArrayEntry| |x| |i|)) - -(DEFUN |PRIMARR;elt;$IS;6| (|x| |i| $) - (DECLARE (IGNORE $)) - (|getSimpleArrayEntry| |x| |i|)) - -(DEFUN |PRIMARR;qsetelt!;$I2S;7| (|x| |i| |s| $) - (DECLARE (IGNORE $)) - (|setSimpleArrayEntry| |x| |i| |s|)) - -(DEFUN |PRIMARR;setelt;$I2S;8| (|x| |i| |s| $) - (DECLARE (IGNORE $)) - (|setSimpleArrayEntry| |x| |i| |s|)) - -(DEFUN |PRIMARR;fill!;$S$;9| (|x| |s| $) - (PROG (|i| #0=#:G1416) - (RETURN - (SEQ (SEQ (LETT |i| 0 |PRIMARR;fill!;$S$;9|) - (LETT #0# (|maxIndexOfSimpleArray| |x|) - |PRIMARR;fill!;$S$;9|) - G190 (COND ((QSGREATERP |i| #0#) (GO G191))) - (SEQ (EXIT (|setSimpleArrayEntry| |x| |i| |s|))) - (LETT |i| (QSADD1 |i|) |PRIMARR;fill!;$S$;9|) (GO G190) - G191 (EXIT NIL)) - (EXIT |x|))))) - -(DEFUN |PrimitiveArray| (#0=#:G1417) - (PROG () - (RETURN - (PROG (#1=#:G1418) - (RETURN - (COND - ((LETT #1# - (|lassocShiftWithFunction| (LIST (|devaluate| #0#)) - (HGET |$ConstructorCache| '|PrimitiveArray|) - '|domainEqualList|) - |PrimitiveArray|) - (|CDRwithIncrement| #1#)) - ('T - (UNWIND-PROTECT - (PROG1 (|PrimitiveArray;| #0#) - (LETT #1# T |PrimitiveArray|)) - (COND - ((NOT #1#) - (HREM |$ConstructorCache| '|PrimitiveArray|))))))))))) - -(DEFUN |PrimitiveArray;| (|#1|) - (PROG (|dv$1| |dv$| $ |pv$|) - (RETURN - (PROGN - (LETT |dv$1| (|devaluate| |#1|) . #0=(|PrimitiveArray|)) - (LETT |dv$| (LIST '|PrimitiveArray| |dv$1|) . #0#) - (LETT $ (|newShell| 38) . #0#) - (|setShellEntry| $ 0 |dv$|) - (|setShellEntry| $ 3 - (LETT |pv$| - (|buildPredVector| 0 0 - (LIST (OR (AND (|HasCategory| |#1| - '(|OrderedSet|)) - (|HasCategory| |#1| - (LIST '|Evalable| - (|devaluate| |#1|)))) - (AND (|HasCategory| |#1| - '(|SetCategory|)) - (|HasCategory| |#1| - (LIST '|Evalable| - (|devaluate| |#1|))))) - (OR (AND (|HasCategory| |#1| - '(|SetCategory|)) - (|HasCategory| |#1| - (LIST '|Evalable| - (|devaluate| |#1|)))) - (|HasCategory| |#1| - '(|CoercibleTo| (|OutputForm|)))) - (|HasCategory| |#1| - '(|ConvertibleTo| (|InputForm|))) - (OR (|HasCategory| |#1| '(|OrderedSet|)) - (|HasCategory| |#1| '(|SetCategory|))) - (|HasCategory| |#1| '(|OrderedSet|)) - (|HasCategory| (|Integer|) '(|OrderedSet|)) - (|HasCategory| |#1| '(|SetCategory|)) - (|HasCategory| |#1| - '(|CoercibleTo| (|OutputForm|))) - (AND (|HasCategory| |#1| '(|SetCategory|)) - (|HasCategory| |#1| - (LIST '|Evalable| - (|devaluate| |#1|)))))) . #0#)) - (|haddProp| |$ConstructorCache| '|PrimitiveArray| (LIST |dv$1|) - (CONS 1 $)) - (|stuffDomainSlots| $) - (|setShellEntry| $ 6 |#1|) - $)))) - -(MAKEPROP '|PrimitiveArray| '|infovec| - (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) - (|NonNegativeInteger|) |PRIMARR;#;$Nni;1| (|Integer|) - (0 . |Zero|) |PRIMARR;minIndex;$I;2| |PRIMARR;empty;$;3| - |PRIMARR;new;NniS$;4| |PRIMARR;qelt;$IS;5| - |PRIMARR;elt;$IS;6| |PRIMARR;qsetelt!;$I2S;7| - |PRIMARR;setelt;$I2S;8| (|SingleInteger|) (4 . |Zero|) - (8 . |Zero|) |PRIMARR;fill!;$S$;9| (|Mapping| 6 6 6) - (|Boolean|) (|List| 6) (|Equation| 6) (|List| 25) - (|Mapping| 23 6) (|Mapping| 23 6 6) (|UniversalSegment| 9) - (|Void|) (|Mapping| 6 6) (|OutputForm|) (|InputForm|) - (|String|) (|List| $) (|Union| 6 '"failed") (|List| 9)) - '#(~= 12 |swap!| 18 |sorted?| 25 |sort!| 36 |sort| 47 |size?| - 58 |setelt| 64 |select| 78 |sample| 84 |reverse!| 88 - |reverse| 93 |removeDuplicates| 98 |remove| 103 |reduce| - 115 |qsetelt!| 136 |qelt| 143 |position| 149 |parts| 168 - |new| 173 |more?| 179 |minIndex| 185 |min| 190 |merge| 196 - |members| 209 |member?| 214 |maxIndex| 220 |max| 225 - |map!| 231 |map| 237 |less?| 250 |latex| 256 |insert| 261 - |indices| 275 |index?| 280 |hash| 286 |first| 291 |find| - 296 |fill!| 302 |every?| 308 |eval| 314 |eq?| 340 |entry?| - 346 |entries| 352 |empty?| 357 |empty| 362 |elt| 366 - |delete| 385 |count| 397 |copyInto!| 409 |copy| 416 - |convert| 421 |construct| 426 |concat| 431 |coerce| 454 - |any?| 459 >= 465 > 471 = 477 <= 483 < 489 |#| 495) - '((|shallowlyMutable| . 0) (|finiteAggregate| . 0)) - (CONS (|makeByteWordVec2| 5 - '(0 0 0 0 0 0 5 0 0 1 4 0 0 1 2 3 4)) - (CONS '#(|OneDimensionalArrayAggregate&| - |FiniteLinearAggregate&| |LinearAggregate&| - |IndexedAggregate&| |Collection&| - |HomogeneousAggregate&| |OrderedSet&| - |Aggregate&| |EltableAggregate&| |Evalable&| - |SetCategory&| NIL NIL |InnerEvalable&| NIL - NIL |BasicType&|) - (CONS '#((|OneDimensionalArrayAggregate| 6) - (|FiniteLinearAggregate| 6) - (|LinearAggregate| 6) - (|IndexedAggregate| 9 6) - (|Collection| 6) - (|HomogeneousAggregate| 6) - (|OrderedSet|) (|Aggregate|) - (|EltableAggregate| 9 6) (|Evalable| 6) - (|SetCategory|) (|Type|) (|Eltable| 9 6) - (|InnerEvalable| 6 6) (|CoercibleTo| 32) - (|ConvertibleTo| 33) (|BasicType|)) - (|makeByteWordVec2| 37 - '(0 9 0 10 0 18 0 19 0 7 0 20 2 7 23 0 - 0 1 3 0 30 0 9 9 1 1 5 23 0 1 2 0 23 - 28 0 1 1 5 0 0 1 2 0 0 28 0 1 1 5 0 0 - 1 2 0 0 28 0 1 2 0 23 0 7 1 3 0 6 0 - 29 6 1 3 0 6 0 9 6 17 2 0 0 27 0 1 0 - 0 0 1 1 0 0 0 1 1 0 0 0 1 1 7 0 0 1 2 - 7 0 6 0 1 2 0 0 27 0 1 4 7 6 22 0 6 6 - 1 3 0 6 22 0 6 1 2 0 6 22 0 1 3 0 6 0 - 9 6 16 2 0 6 0 9 14 2 7 9 6 0 1 3 7 9 - 6 0 9 1 2 0 9 27 0 1 1 0 24 0 1 2 0 0 - 7 6 13 2 0 23 0 7 1 1 6 9 0 11 2 5 0 - 0 0 1 2 5 0 0 0 1 3 0 0 28 0 0 1 1 0 - 24 0 1 2 7 23 6 0 1 1 6 9 0 1 2 5 0 0 - 0 1 2 0 0 31 0 1 3 0 0 22 0 0 1 2 0 0 - 31 0 1 2 0 23 0 7 1 1 7 34 0 1 3 0 0 - 0 0 9 1 3 0 0 6 0 9 1 1 0 37 0 1 2 0 - 23 9 0 1 1 7 18 0 1 1 6 6 0 1 2 0 36 - 27 0 1 2 0 0 0 6 21 2 0 23 27 0 1 3 9 - 0 0 24 24 1 2 9 0 0 25 1 3 9 0 0 6 6 - 1 2 9 0 0 26 1 2 0 23 0 0 1 2 7 23 6 - 0 1 1 0 24 0 1 1 0 23 0 1 0 0 0 12 2 - 0 0 0 29 1 2 0 6 0 9 15 3 0 6 0 9 6 1 - 2 0 0 0 9 1 2 0 0 0 29 1 2 7 7 6 0 1 - 2 0 7 27 0 1 3 0 0 0 0 9 1 1 0 0 0 1 - 1 3 33 0 1 1 0 0 24 1 1 0 0 35 1 2 0 - 0 6 0 1 2 0 0 0 0 1 2 0 0 0 6 1 1 8 - 32 0 1 2 0 23 27 0 1 2 5 23 0 0 1 2 5 - 23 0 0 1 2 7 23 0 0 1 2 5 23 0 0 1 2 - 5 23 0 0 1 1 0 7 0 8))))) - '|lookupComplete|)) diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index acbf8892..20396e7e 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -563,10 +563,11 @@ Literal(T: SetCategory): Public == Private where )abbrev domain IDENT Identifier Identifier(): Public == Private where Public == Join(SetCategory, CoercibleTo Symbol) with - new: () -> % ++ returns a new identifier, different from - ++ any other identifier in the running system + gensym: () -> % + ++ \spad{gensym()} returns a new identifier, different from + ++ any other identifier in the running system Private == add - new() == GENSYM()$Foreign(Builtin) + gensym() == GENSYM()$Foreign(Builtin) x = y == EQ(x,y)$Lisp coerce(x: %): Symbol == x : Symbol coerce(x: %): OutputForm == x : OutputForm diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index b16d52ef..cfb1b9da 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -1026,7 +1026,8 @@ replaceSimpleFunctions form == optLET mutateLETFormWithUnaryFunction(form,"replaceSimpleFunctions") form is ["spadConstant","$",n] => null(op := getCapsuleDirectoryEntry n) => form - getFunctionReplacement op is ["XLAM",=nil,body] and atom body => body + getFunctionReplacement op is ["XLAM",=nil,body] + and isAtomicForm body => body -- Conservatively preserve object identity and storage -- consumption by not folding non-atomic constant forms. form diff --git a/src/interp/sys-utility.boot b/src/interp/sys-utility.boot index 8cc18dc5..01a82d9b 100644 --- a/src/interp/sys-utility.boot +++ b/src/interp/sys-utility.boot @@ -70,7 +70,7 @@ getVMType d == STRINGP d => "%Thing" -- literal flag parameter case (d' := devaluate d) of Void => "%Void" - Identiifier => "%Symbol" + Identifier => "%Symbol" Boolean => "%Boolean" Byte => "%Byte" Character => "%Char" |