Age | Commit message (Collapse) | Author | Files | Lines |
|
* interp/i-map.boot (compileCoerceMap): Tell backend that
minivector is global.
* interp/i-spec1.boot (compileADEFBody): Likewise.
* interp/slam.boot (reportFunctionCompilation): Likewise.
* interp/define.boot (spadCompileOrSetq): Tell backend to ignore
last argument for simple functions.
* interp/c-util.boot (skipDeclarations): New.
(lastDeclarationNode): Likewise.
(declareGlobalVariables): Likewise.
(transformToBackendCode): Use them to allow for Lisp
declarations in middle-end forms.
* interp/sys-driver.boot (AxiomCore::%sysInit): Reading Lisp level
Floating point numbers default to double precision.
* algebra/strap: Update.
|
|
(Constructor): Likewise.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
CTORKIND.
(axiom_algebra_layer_user): Include CTOR.
|
|
RGBCMDL, RGBCSPC.
* algebra/color.spad.pamphlet (RGBColorModel): New.
(RGBColorSpace): Likewise.
* algebra/exposed.lsp.pamphlet: Expose them
|
|
* interp/compiler.boot (quietlyIfInteractive): Use it.
(compQuietly): Likewise.
(compileQuietly): Likewise.
|
|
($optReplaceSimpleFunctions): Likewise.
(setCompilerOptimizations): Likewise. Set them.
(proclaimCapsuleFunction): New.
* interp/compiler.boot (compileSpad2Cmd): Handle option ')optimize'.
* interp/define.boot (compile): Proclaim if appropriate.
* interp/sys-driver.boot (compileSpadLibrary): Honor optimization
level set on commmand line.
* interp/sys-utility.boot (getVMType): Tidy.
* interp/types.boot (%Void): Likewise.
(IntegerSection): New.
|
|
definition for Rep. Tidy.
|
|
(bottomUp): Use it.
* interp/i-spec1.boot (upand): Likewise.
(upor): Likewise.
(upcase): Likewise.
* interp/i-spec2.boot (uperror): Likewise.
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add
SPADXPT. Update dependency rules.
* share/algebra: Update algebra databases.
|
|
* algebra/Makefile.pamphlet: Add dependency rules for syntax
domains.
* algebra/exposed.lsp.pamphlet: Expose more syntax domains.
|
|
|
|
* algebra/syntax.spad.pamphlet: Add more syntax domains.
* algebra/exposed.lsp.pamphlet: Expose more syntax object domains.
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add more
syntax object files.
|
|
and `buffer'.
* lisp/Makefile.in (pointer_type): Remove.
(edit): Tidy.
* boot/ast.boot (nativeType): Tidy. Handle `pointer' and `buffer'
here.
* boot/translator.boot (genImportDeclaration): Tidy.
|
|
|
|
functions.
* boot/strap/parser.clisp: Update.
* interp/sys-os.boot: Change to new syntax throughout.
|
|
(readFromStreamSocket): Likewise.
(writeToStreamSocket): Likewise.
(closeSocket): Likewise.
* include/sockio.h: Include <arpa/inet.h>
(oa_open_ip4_client_stream_socket): Declare.
(oa_socket_write): Likewise.
(oa_socket_read): Likewise.
* lib/sockio-c.c (openaxiom_unload_socket_module): New.
(openaxiom_load_socket_module): Tidy.
(openaxiom_socket_is_invalid): New.
(is_invalid_socket): Use it.
(oa_open_ip4_client_stream_socket): Define.
(oa_socket_read): Likewise.
(oa_socket_write): Likewise.
|
|
change directory.
(localdatabase): Adjust call.
* interp/lisplib.boot (getAllIndexPathnames): Take an argument.
(getAllAldorObjectFiles): Likewise.
|
|
(Identifier): Likewise.
(Signature): Tidy.
* algebra/exposed.lsp.pamphlet: Expose IDENT and LITERAL.
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add
LITERAL and IDENT.
(user-stamp): Don't depend directly on bootstrap-stamp.
* share/algebra/: Update databases.
|
|
duplicate definition of reverse.
* algebra/algcat.spad.pamphlet (FramedAlgebra): Remove duplicate
definition of regularRepresentation. Explicitly disambiguate
the argument of coodinates.
* algebra/efupxs.spad.pamphlet
(ElementaryFunctionsUnivariatePuiseuxSeries): Remove duplicate
definition of asinhIfCan, acoshIfCan, asechIfCan, acshIfCan.
* algebra/equation2.spad.pamphlet (Equation): Remove duplicate
definition of *: (S,%) -> %.
* algebra/fortpak.spad.pamphlet (MultiVariableCalculusFunctions):
Remove duplicate definition of jacobian.
* algebra/tree.spad.pamphlet (BinaryTree): Remove duplicate
definition of empty.
|
|
operator ^.
* algebra/aggcat.spad.pamphlet (BitAggregate): Likewise.
* algebra/color.spad.pamphlet: Replace use of '^' as logical
negation by 'not'.
* algebra/ddfact.spad.pamphlet: Likewise.
* algebra/fortran.spad.pamphlet: Likewise.
* algebra/gaussfac.spad.pamphlet: Likewise.
* algebra/gbeuclid.spad.pamphlet: Likewise.
* algebra/gbintern.spad.pamphlet: Likewise.
* algebra/ghensel.spad.pamphlet: Likewise.
* algebra/groebsol.spad.pamphlet: Likewise.
* algebra/ideal.spad.pamphlet: Likewise.
* algebra/idecomp.spad.pamphlet: Likewise.
* algebra/indexedp.spad.pamphlet: Likewise.
* algebra/listgcd.spad.pamphlet: Likewise.
* algebra/mfinfact.spad.pamphlet: Likewise.
* algebra/modgcd.spad.pamphlet: Likewise.
* algebra/multfact.spad.pamphlet: Likewise.
* algebra/multsqfr.spad.pamphlet: Likewise.
* algebra/newpoint.spad.pamphlet: Likewise.
* algebra/npcoef.spad.pamphlet: Likewise.
* algebra/permgrps.spad.pamphlet: Likewise.
* algebra/pgcd.spad.pamphlet: Likewise.
* algebra/pleqn.spad.pamphlet: Likewise.
* algebra/qalgset.spad.pamphlet: Likewise.
* algebra/radeigen.spad.pamphlet: Likewise.
* algebra/rep2.spad.pamphlet: Likewise.
* algebra/solverad.spad.pamphlet: Likewise.
* algebra/space.spad.pamphlet: Likewise.
* algebra/view2D.spad.pamphlet: Likewise.
* algebra/strap/: Update cached Lisp translateion
* share/algebra/: Update databases.
|
|
* algebra/any.spad.pamphlet: Likewise.
* algebra/catdef.spad.pamphlet: Likewise.
* algebra/drawopt.spad.pamphlet: Likewise.
* algebra/equation2.spad.pamphlet: Likewise.
* algebra/ituple.spad.pamphlet: Likewise.
* algebra/mkfunc.spad.pamphlet: Likewise.
* algebra/omdev.spad.pamphlet: Likewise.
* algebra/out.spad.pamphlet: Likewise.
* algebra/plot.spad.pamphlet: Likewise.
* algebra/print.spad.pamphlet: Likewise.
* algebra/seg.spad.pamphlet: Likewise.
* algebra/stream.spad.pamphlet: Likewise.
* algebra/system.spad.pamphlet: Likewise.
|
|
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include
HOSTNAME and PORTNUM.
* algebra/exposed.lsp.pamphlet: Export them.
* algebra/data.spad.pamphlet (DataBuffer): New.
|
|
|
|
* interp/sys-driver.boot (restart): Use it.
|
|
* configure.ac.pamphlet: Activate safety+debug build for ECL-based
system.
src/
2008-08-19 Gabriel Dos Reis <gdr@cs.tamu.edu>
* lisp/core.lisp.in (|$useDynamicLink|)[ECL]: Test for :DFFI feature.
|
|
|
|
* interp/compiler.boot (COMP-1): Likewise.
|
|
algebra bootstrap domains here.
|
|
|
|
* interp/sys-driver.boot (initializeGlobalState): Record value for
--system-algebra.
* interp/sys-globals.boot ($buildingSystemAlgebra): Declare.
* interp/compiler.boot (compileSpad2Cmd): Don't build local
database if compiling system algebra.
* interp/i-syscmd.boot (compileAsharpCmd1): Likewise.
* algebra/Makefile.pamphlet (%.NRLIB/code.$(FASLEXT)): Use
--system-algebra.
(SPADPRSR.NRLIB/code.$(FASLEXT)): Likewise.
(PARSER.NRLIB/code.$(FASLEXT)): Likewise.
|
|
(SYSTEM-SUBDIRECTORY): Likewise.
(LINKSET-FROM-IF): Likewise.
(COMPLETE-FASL-LIST-FOR-LINK): Use it.
(getPrologue): New.
(link): Take an additional optional parameter for prologue. Tidy.
(makeHandler): Adjust.
* lisp/Makefile.in: Use LNKEXT where appropriate.
(oa_base_lisp_linkset): New.
($(oa_target_lispdir)/core.$(LNKEXT)): New rule.
(base-lisp$(EXEEXT)): Now depends on $(oa_base_lisp_linkset).
(mostlyclean-local): Remove $(oa_target_lispdir) too.
* boot/Makefile.in: Use LNKEXT instead of FASLEXT.
(boot_objects_extra): Remove.
(oa_target_bootdir): New.
(oa_boot_linkset): Likewise.
(stamp): Require $(oa_boot_linkset).
($(oa_target_bootdir)/%.$(LNKEXT)): New rule.
(strap/bootsys$(EXEEXT)): Add prologue code.
(stage1/bootsys$(EXEEXT)): Likewise.
(stage2/bootsys$(EXEEXT)): Likewise.
(mostlyclean-local): Remove $(oa_target_bootdir) too.
|
|
(|spadHash|): Likewise.
(|$internalHistoryTable|): Don't define here.
(|isBpiOrLambda|): Remove.
(|libraryFileLists|): Likewise.
(|normalizeArgFileName|): Likewise.
(save-system) [LUCID]: Likewise.
(|undoINITIALIZE|): Likewise.
(|isLowerCaseLetter|): Don't define here.
(|isUpperCaseLetter|): Likewise.
(|isLetter|): Likewise.
(printCopyright): Remove.
(user-homedir-pathname): Likewise.
(BUMPCOMPERRORCOUNT): Likewise.
(|cpCms|): Likewise.
(|normalizeTimeAndStringify|): Likewise.
(whocalled): Likewise.
(|compressHashTable|): Likewise.
(SETLETPRINTFLAG): Don't define here.
(RESTART0): Move to sys-driver.boot
* interp/g-util.boot (charRangeTest): Remove.
|
|
* interp/Makefile.pamphlet (OBJS): Don't include obey.$(FASLEXT).
* interp/br-data.boot: Replace OBEY with runCommand.
* interp/br-saturn.boot: Likewise.
* interp/br-search.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/compat.boot: Likewise.
* interp/debug.lisp: Likewise.
* interp/g-util.boot: Likewise.
* interp/ht-root.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/patches.lisp: Likewise.
* interp/spad.lisp: Likewise.
* interp/util.lisp: Likewise.
* interp/vmlisp.lisp: Likewise.
|
|
(HeadAst): Likewise.
|
|
(pfType2SexOrNil): New.
(pfDoc2SexOrNil): Likewise.
(pfWith2Sex): Likewise.
(pfAdd2Sex): Likewise.
(pfWDeclare2Sex): Likewise.
(pfAttribute2Sex): Likewise.
(pfWIf2Sex): Likewise.
(pfExport2Sex): Likewise.
(pfInline2Sex): Likewise.
(pfImport2Sex): Likewise.
(pfQualType2Sex): Likewise.
* interp/ptrees.boot (pf0InlineItems): New.
* interp/i-spec2.boot (up%Import): New.
(sorry): Likewise.
(up%Export): Likewise.
(up%Inline): Likewise.
(up%With): Likewise.
(up%Add): Likewise.
* interp/i-intern.boot (mkAtree3): Handle %Inline, %With, %Add,
and %Export.
* interp/i-spec1.boot ($specialOps): Adjust.
* doc/msgs/s2-us.msgs (S2IP0006): New.
|
|
from <$SetAggregate.
(part?$FiniteSetAggregate): Rename from <$FiniteSetAggregate
* algebra/mset.spad.pamphlet (part?$Multiset): Rename from
<$Mulitset.
* input/mset.input.pamphlet: Adjust.
* input/mset2.input.pamphlet: Likewise.
|
|
(|$useDynamicLink|): Likewise.
(|$effectiveFaslType|): Hold extension of linkable FASL.
(|$NativeModuleExt|): Tidy.
(|$CoreLibName|): New.
(|$ExtraRuntimeLibraries|): Likewise.
(extra-runtime-libs): Likewise.
(complete-fasl-list-for-link): Likewise.
(|link|) [ECL]: Link against system libraries.
(|compileLispFile|): Tidy.
(begin-compile-time): New.
(end-compile-time): Likewise.
(compile-time-p): Likewise.
(import-module): Use it.
* lisp/Makefile.in ($(OUT)/lisp$(EXEEXT)): Use oa_c_runtime_extra.
* lib/Makefile.in (oa_installed_corelib): New.
* boot/initial-env.lisp: Don't export systemRootDirectory and
systemLibraryDirectory from here.
* boot/translator.boot (systemRootDirectory): Move to lisp/core.lisp.
(systemLibraryDirectory): Likewise.
(loadSystemRuntimeCore): Do nothing for GCL and ECL.
* interp/boot-pkg.lisp: Inform that Boot system is compleye.
|
|
when --enable-checking.
|
|
therefore a statement.
|
|
* interp/vmlisp.lisp (EMBED): Evaluate lambda forms to FUNCTIOn type.
* interp/trace.boot (transTraceItem): Fix thinko.
(spadTrace): Use assoc, not ASSOC.
(addTraceItem): Test for domain objects before constructors.
|
|
signature % -> %.
* interp/br-con.boot: Use "~=" for inequality.
|
|
(BRIGHTPRINT): Likewise.
* interp/macros.lisp (sayBrightly1): Use brightPrint0 and brightPrint.
(sayBrightlyNT1): Likewise.
|
|
|
|
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_9): Add SIG.
* algebra/syntax.spad.pamphlet (Signature): New.
|
|
|
|
symbols.
* algebra/any.spad.pamphlet: Use nil for empty list.
* algebra/boolean.spad.pamphlet: Fix quoting.
|
|
(parseNotEqual): Likewise.
* interp/compiler.boot (compCompilerPredicate): New.
(compileNot): Use it.
* interp/define.boot (compSubDomain1): Likewise.
(doItIf): Likewise.
* interp/bootlex.lisp (boot): Set $nornamizeTree.
* algebra/Makefile.pamphlet (axiom_algebra_layer_9): Move from
layer 4 to here.
|
|
(NRTgetLocalIndexClear): Remove.
(NRTgetLocalIndex1): Lose second unused argument; move body to
NRTgetLocalIndex.
* interp/define.boot (doIt): Call NRTgetLocalIndex, not
NRTgetLocalIndexClear.
* interp/wi2.boot (NRTgetLocalIndex): Rename from NRTgetLocalIndex1.
|
|
(isCategoryForm): Likewise. Tidy.
(mkCategory): Likewise.
|