Age | Commit message (Collapse) | Author | Files | Lines |
|
2007-11-18 Gabriel Dos Reis <gdr@cs.tamu.edu>
* ast.boot.pamphlet (bfReduce): Compute left reduction, not right
reduction.
src/interp/
2007-11-18 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (nrunopt.$(FASLEXT)): New rule.
(<<nrunopt.clisp>>): Remove.
* define.boot: Fix syntax.
* nruncomp.boot: Likewise.
* nrunopt.boot.pamphlet: Push into package "BOOT". Fix syntax.
* wi2.boot: Fix syntax.
|
|
|
|
(<<clammed.clisp>>): Remove.
* clammed.boot.pamphlet: Push into package "BOOT". Fix syntax.
|
|
Update cached Lisp translation.
* translator.boot.pamphlet (BOOTTOCL): Don't set $bfClamming.
(BOOTCLAMLINES): Likewise.
(BOOTCLAM): Don't set it.
(BOOTTOCLCLINES): Likewise.
(BOOTTOMC): Likewise.
(EVAL_-BOOT_-FILE): Likewise.
(BO): Likewise.
(STEVAL): Likewise.
(STTOMC): Likewise.
(FC): Likewise.
(PSTTOMC): Likewise.
(BOOTLOOP): Likewise.
Update cached Lisp translation.
|
|
(compForm1): Use it in checking for error functions.
|
|
|
|
|
|
|
|
|
|
|
|
(br-saturn.$(FASLEXT)): Likewise.
(br-op2.$(FASLEXT)): Likewise.
(br-op1.$(FASLEXT)): Likewise.
(br-con.$(FASLEXT)): Likewise.
(br-data.$(FASLEXT)): Likewise.
(br-util.$(FASLEXT)): Likewise.
(<<br-search.clisp>>): Remove.
(<<br-saturn.clisp>>): Likewise.
(<<br-op2.clisp>>): Likewise.
(<<br-op1.clisp>>): Likewise.
(<<br-con.clisp>>): Likewise.
(<<br-data.clisp>>): Likewise.
(<<br-util.clisp>>): Likewise.
* br-search.boot.pamphlet: Push into package "BOOT". Fix syntax.
* br-saturn.boot.pamphlet: Likewise.
* br-op2.boot.pamphlet: Likewise.
* br-op1.boot.pamphlet: Likewise.
* br-con.boot.pamphlet: Likewise.
* br-data.boot.pamphlet: Likewise.
* br-util.boot.pamphlet: Likewise.
|
|
2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (SYNTAX.NRLIB/code.$(FASLEXT)): New rule.
(axiom_algebra_layer_14): Include SYNTAX.o.
* syntax.spad: New algebra file.
* domain.spad (Domain$reify): New.
src/share/
2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu>
* algebra/browse.daase: Update.
* algebra/category.daase: Likewise.
* algebra/compress.daase: Likewise.
* algebra/interp.daase: Likewise.
|
|
|
|
|
|
(nruncomp.$(FASLEXT)): Likewise.
(<<nrunfast.clisp>>): Remove
(<<nruncomp.clisp>>): Likewise.
* nruncomp.boot.pamphlet: Push into package "BOOT". Fix syntax.
* nrunfast.boot.pamphlet: Likewise.
|
|
2007-11-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (mostlyclean-local): Remove stamp files and
strap/ directory too.
(clean-local): Remove database directories too.
src/interpreter/
2007-11-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (nrungo.$(FASLEXT)): New rule.
(nruntime.$(FASLEXT)): Likewise.
(<<nrungo.clisp>>): Remove.
(<<nruntime.clisp>>): Likewise.
* nrungo.boot.pamphlet: Push into package "BOOT". Fix syntax.
* nruntime.boot.pamphlet: Push into package "BOOT".
|
|
|
|
(i-syscmd.$(FASLEXT)): Likewise.
(i-spec2.$(FASLEXT)): Likewise.
(i-spec1.$(FASLEXT)): Likewise.
(i-funsel.$(FASLEXT)): Likewise.
(i-map.$(FASLEXT)): Likewise.
(i-eval.$(FASLEXT)): Likewise.
(i-coerfn.$(FASLEXT)): Likewise.
(i-coerce.$(FASLEXT)): Likewise.
(i-resolv.$(FASLEXT)): Likewise.
(i-analy.$(FASLEXT)): Likewise.
(i-code.$(FASLEXT)): Likewise.
(i-intern.$(FASLEXT)): Likewise.
(<<i-analy.clisp>>): Remove.
(<<i-code.clisp>>): Likewise.
(<<i-coerce.clisp>>): Likewise.
(<<i-coerfn.clisp>>): Likewise.
(<<i-eval.clisp>>): Likewise.
(<<i-funsel.clisp>>): Likewise.
(<<i-intern.clisp>>): Likewise.
(<<i-map.clisp>>): Likewise.
(<<i-resolv.clisp>>): Likewise.
(<<i-spec1.clisp>>): Likewise.
(<<i-spec2.clisp>>): Likewise.
(<<i-syscmd.clisp>>): Likewise.
(<<i-toplev.clisp>>): Likewise.
(<<i-util.clisp>>): Likewise.
* apply.boot (compFormWithModemap): Fix syntax.
* i-analy.boot.pamphlet: Push into package "BOOT".
* i-code.boot.pamphlet: Likewise.
* i-coerce.boot.pamphlet: Likewise.
* i-coerfn.boot.pamphlet: Likewise.
* i-eval.boot.pamphlet: Likewise.
* i-funsel.boot.pamphlet: Likewise.
* i-intern.boot.pamphlet: Likewise.
* i-map.boot.pamphlet: Likewise.
* i-resolv.boot.pamphlet: Likewise.
* i-spec1.boot.pamphlet: Likewise.
* i-spec2.boot.pamphlet: Likewise.
* i-syscmd.bot.pamphlet: Likewise.
* i-toplev.boot.pamphlet: Likewise.
* i-util.boot.pamphlet: Likewise.
|
|
|
|
(c-doc.$(FASLEXT)): Likewise.
(<<c-doc.clisp>>): Likewise.
(<<compiler.clisp>>): Likewise.
* c-doc.boot.pamphlet: Push into package "BOOT". Fix syntax.
Document functions. Remove dead codes.
* compiler.boot.pamphlet: Push into package "BOOT". Fix syntax.
|
|
|
|
(modemap.$(FASLEXT)): Likewise.
(info.$(FASLEXT)): Likewise.
(msgdb.$(FASLEXT)): Likewise.
(<<info.clisp>>): Remove.
(<<iterator.clisp>>): Likewise.
(<<modemap.clisp>>): Likewise.
(<<msgdb.clisp>>): Likewise.
* c-util.boot (intersectionContour): Change setIntersection to
intersection. Change SetUnion to union.
* database.boot (insertModemap): Move to modemap.boot.pamphlet.
* i-util.boot.pamphlet (addModemap): Likewise.
* info.boot.pamphlet: Push into package "BOOT". Fix syntax.
* iterator.boot.pamphlet: Push into package "BOOT".
* modemap.boot.pamphlet: Likewise.
* msgdb.boot.pamphlet: Push into package "BOOT". Fix syntax.
* sys-globals.boot (*BUILD-VERSION*): Define.
(*YEARWEEK*): Likewise.
|
|
|
|
(newfort.$(FASLEXT)): Likewise.
(<<record.clisp>>): Remove.
(<<newfort.clisp>>): Likewise.
* newfort.boot.pamphlet: Push into package "BOOT".
|
|
|
|
* database.boot.pamphlet: Push into package "BOOT".
|
|
|
|
(<<functor.clisp>>): Remove.
* functor.boot.pamphlet: Push into package "BOOT".
|
|
|
|
Waldek Hebisch <hebisch@math.uni.wroc.pl>
* int-top.boot (ncParseFromString): Fix thinko.
|
|
|
|
(pathname.$(FASLEXT)): Likewise.
(<<compat.clisp>>): Remove.
(<<define.clisp>>): Likewise.
* compat.boot.pamphlet: Push into package "BOOT".
* pathname.boot: Import "nlib".
|
|
|
|
(<<define.clisp>>): Remove.
* c-util.boot (CONTINUE): Comment out.
* define.boot.pamphlet: Push into package "BOOT". Fix syntax.
* i-intern.boot.pamphlet (put): Move to g-util.boot
(get): Likewise.
(get0): Likewise.
(get1): Likewise.
(get2): Likewise.
* setq.lisp (/EDITFILE): Don't set here. Define it in
sys-globals.boot.
(NRTPARSE): Don't set here. Define in define.boot.
|
|
(simpbool.$(FASLEXT)): Likewise.
(<<cattable.clisp>>): Remove.
(<<simpbool.clisp>>): Likewise.
* cattable.boot.pamphlet: Push into package "BOOT". Fix syntax.
* simpbool.boot: Likewise.
|
|
(<<category.clisp>>): Remove.
* category.boot.pamphlet: Push into package "BOOT".
Replace ASSOC with assoc throughout.
(mkCategory): Fix syntax.
* i-coerce.boot.pamphlet (stripUnionTags): Move to g-util.boot.
(isTaggeUnion): Likewise.
(getUnionOrRecordTags): Likewise.
* i-util.boot.pamphlet (wrap): Move to i-object.boot.
(isWrapped): Likewise.
(unwrap): Likewise.
(wrapped2Quote): Likewise.
(quote2Wrapped): Likewise.
(removeQuote): Likewise.
(TruthP): Move to g-util.boot.
|
|
Update cached Lisp translation.
* includer.boot.pamphlet: Update cached Lisp translation.
* parser.boot.pamphlet: Likewise.
* pile.boot.pamphlet: Likewise.
* scanner.boot.pamphlet: Likewise.
* tokens.boot.pamphlet: Likewise.
* translator.boot.pamphlet: Likewise.
|
|
before printing.
|
|
(transformAndRecheckComments): Use it.
|
|
* define.boot.pamphlet (hasSigInTargetCategory): Pretty-print
signature in diagnostics.
* i-syscmd.boot.pamphlet: Fix syntax.
* mark.boot: Likewise.
|
|
|
|
|
|
(<<match.clisp>>): Likewise.
(fortcall.$(FASLEXT)): New rule.
(match.$(FASLEXT)): Likewise.
* fortcall.boot.pamphlet: Push into package "BOOT". Import
"sys-macros". Fix syntax.
* match.boot.pamphlet: Likewise.
* patches.lisp (|makeVector): Move to fortcall.boot.
(|makeList|): Likewise.
|
|
(i-object.$(FASLEXT)): New rule.
* i-object.boot: New.
* i-analy.boot.pamphlet (getBasicMode): Move to i-object.boot.
(getBasicMode0): Likewise.
(getBasicObject): Likewise.
* i-intern.boot.pamphlet (mkObj): Likewise.
(mkObjWrap): Likewise.
(mkObjCode): Likewise.
(objNew): Likewise.
(objNewWrap): Likewise.
(objNewCode): Likewise.
(objSetVal): Likewise.
(objSetMode): Likewise.
(objVal): Likewise.
(objValUnwrap): Likewise.
(objMode): Likewise.
(objEnv): Likewise.
(objCodeVal): Likewise.
(objCodeMode): Likewise.
(asTupleNew): Likewise.
(asTupleNew0): Likewise.
(asTupleNewCode): Likewise.
(asTupleNewCode0): Likewise.
(asTupleSize): Likewise.
(asTupleAsVector): Likewise.
(asTupleAsList): Likewise.
|
|
|
|
|
|
|
|
* domain.spad: New.
* Makefile.pamphlet (axiom_algebra_layer_23): Include DOMAIN.o
(DOMAIN.NRLIB/code.$(FASLEXT)): New rule.
|
|
* aggcat.spad.pamphlet (HomogeneousAggregate): Make
CoercibleTo(OutputForm) if argument is of that category.
(BinaryRecursiveAggregate): Weaken condition for coercion to
OutputForm.
(OneDimensionalArrayAggregate): Likewise.
(Tuple): Likewise.
(IndexedList): Likewise.
* tree.spad.pamphlet: Likewise.
|
|
* i-funsel.boot.pamphlet (getFunctionFromDomain): Likewise.
* interop.boot.pamphlet (devaluate): Remove.
(isDomain): Likewise.
(NRTcompiledLookup): Likewise.
(compiledLookup): Likewise.
(basicLookup): Likewise.
(lookupInDomainVector): Likewise.
(lookupComplete): Likewise.
(lookupIncomplete): Likewise.
(lookupInCompactTable): Likewise.
(lazyMatchArg2): Likewise.
(getOpCode): Likewise.
(newExpandLocalType): Likewise.
(replaceGoGetSlot): Likewise.
(lazyMatchAssocV): Likewise.
(lazyDomainSet): Likewise.
(evalSlotDomain): Likewise.
(domainEqual): Likewise.
(coerceConvertMmSelection): Likewise.
(getFunctionFromDomain): Likewise.
|