aboutsummaryrefslogtreecommitdiff
path: root/src/lisp
AgeCommit message (Collapse)AuthorFilesLines
2011-05-12 * boot/initial-env.lisp (MAKE-HASHTABLE): Remove.dos-reis1-2/+10
(BEVC-MAKE-FULL): Likewise. (MAKE-BVEC): Likewise. * boot/tokens.boot (shoeKeyTableCons): Adjust. (shoePunCons): Likewise. (shoeDfu): Likewise. (shoeXref): Likewise.
2011-05-07 * algebra/table.spad.pamphlet (HashTable): Use tableValue insteaddos-reis1-0/+8
of HGET. Use tableLength instead of HCOUNT.
2011-05-05more cleanupdos-reis1-0/+7
2011-05-05more cleanupsdos-reis1-0/+17
2011-05-01 * boot/tokens.boot: Don't rename append.dos-reis1-0/+4
* boot/parser.boot (bpTyping): Support universally quantified types. * boot/ast.boot: Rewrite APPEND as append. (%Forall): New AST node. * boot/translator.boot: Translate it.
2011-04-30more cleanupdos-reis1-6/+28
2011-04-28more cleanupdos-reis1-0/+13
2011-04-27 * interp/br-util.boot (dbInfovec): Move to c-util.bootdos-reis1-0/+61
2011-04-23 * lisp/core.lisp.in: Export basic types and compiler data types.dos-reis1-3/+114
* interp/modemap.boot (knownInfo): Fix latent bug uncovered by type declarations. * boot/ast.boot: Remove type definitions. (bfIN): Handle DOT as loop variable. (bfON): Likewise. Allow a loop variable to iterator over its own tails. * boot/parser.boot (bfTyping): Simplify. (bpSimpleMapping): Fix thinko.
2011-04-12 * lisp/core.lisp.in: Include SB-SPROF when profiling SBCL-based build.dos-reis1-0/+4
2011-04-10specify linker for ECLdos-reis1-5/+7
2010-12-01 * lisp/core.lisp.in (handleCommandLine): Don't export. Rewrite.dos-reis1-36/+38
(RUN-DRIVER): Split from handleCommandLine.
2010-12-01 * lisp/core.lisp.in (processCommandLine): Don't export.dos-reis1-18/+31
Rewrite to pull out command line options wherever they are except the ones after "--". (topLevel): Bind *PACKAGE*; don't set it.
2010-12-01Clean updos-reis1-11/+11
2010-11-29Fix GCL-based build issues related to thedos-reis1-2/+11
fact that GCL does not provide a separate hook for linkers.
2010-11-28Work around GCL bug on Windows when invoking the linker.dos-reis1-1/+1
2010-11-28 * lisp/Makefile.in: Link the basic core with a C++ compiler whendos-reis2-22/+32
GCL or ECL. * lisp/core.lisp.in: Implement appropriate change.
2010-11-27 * lisp/Makefile.in (GCL_LTCC): Specify the tag.dos-reis1-2/+2
(GCL_LTLD): Likewise.
2010-11-01 * config/open-axiom.m4 (OPENAXIOM_GCL_HACKS): Remove. No longerdos-reis1-1/+0
necesary with newer GCL-2.6.8pre. * configure.ac: Dont' call it.
2010-08-16More configure workdos-reis2-4/+4
2010-05-07 * configure.ac.pamphlet: Add new option: --enable-int-file-retention.dos-reis2-1/+11
src/ * lisp/core.lisp.in ($FilesToRetain): New. Export. * lisp/Makefile.in: Tidy. * boot/translator.boot (retainFile?): New. (compileBootHandler): Use it.
2010-02-08 * lisp/core.lisp.in ("AxiomCore"): Use Clozure CL's package CCL.dos-reis1-0/+3
2010-02-08 Add support for CLozure CL.dos-reis1-31/+16
* lisp/core.lisp.in: Add support for Clozure CL. (main): Remove as unused. * driver/utils.h (openaxiom_runtime): Add openaxiom_clozure_runtime. * boot/translator.boot (loadNativeModule): Handle Clozure CL. * boot/ast.boot (nativeType): Handle Clozure's FFI types. (nativeReturnType): Likewise. (coerceToNativeType): Likewise. (genCLOZUREnativeTranslation): New. (genImportDeclaration): Use it. * interp/vmlisp.lisp (SINTP): Remove duplicate definition. (SMINTP): Likewise. (ZERO?): Likewise. (GCMSG): Reorganize definition. (BPINAME): Likewise.
2010-01-30import MT package from capable base Lisp systemsdos-reis1-0/+3
2009-07-03 Support ECL-based build profiling.dos-reis2-1/+9
* configure.ac.pamphlet: Support --enable-profiling. * config/var-def.mk (oa_yesno_to_lisp_boolean): New. (oa_enable_profiling): Likewise. (oa_enable_lisp_profiling): Likewise. src/ * lisp/Makefile.in (edit): Substitute for oa_enable_profiling. * lisp/core.lisp.in ($EnableLispProfiling): New. (compileLispFile): Use it.
2009-06-16 Fix SF/2806053dos-reis1-4/+6
* lisp/Makefile.in: Remove generated files when cleaning. * interp/Makefile.pamphlet: Add executable extensions if appropriate.
2009-05-10 Cope with SBCL-1.0.28 improvements.dos-reis1-9/+10
* boot/translator.boot (translateToplevel): Load imported modules. * boot/ast.boot ($constantIdentifiers): New. ($activeNamespace): Likewise. (bfSimpleDefinition): Likewise. (isDynamicVariable): Likewise. (shoeCompTran1): Tidy. Use it. * boot/parser.boot (bpSimpleDefinitionTail): Use bfSimpleDefinition. * boot/Makefile.in (stage1/%.clisp): Specify load directory. (stage2/%.clisp): Likewise. * lisp/core.lisp.in (startCompileDuration): Export. (endCompileDuration): Likewise.
2009-04-14 Fix SF/2760553dos-reis1-5/+7
* lisp/core.lisp.in (associateRequestWithFileType): Remember FILE-TYPE as default value for REQUEST. (|processCommandLine|): Standard options have length at least 2. (|handleCommandLine|): Use default file type if non is present.
2009-04-09 Fix SF/2564917dos-reis1-1/+3
* lisp/core.lisp.in: Default the read to DOUBLE-FLOAT for floating point literals. * boot/translator.boot (BOOTTOCLLINES): Don't set it here.
2009-03-08 * interp/fnewmeta.lisp (PARSE-Import): Parse extern entitydos-reis1-1/+2
signature import. * interp/functor.boot (encodeLocalFunctionName): New. * interp/define.boot (compDefine1): Avoid getAbbreviation. (doIt): Handle %SignatureImport nodes. * interp/compiler.boot (emitLocalCallInsn): New. (applyMapping): Use it. (compApplication): Likewise. (bootDenotation): New. (getBasicFFIType): Likewise. (getFFIDatatype): Likewise. (getBootType): Likewise. (checkExternalEntityType): Likewise. (checkExternalEntity): Likewise. (removeModifiers): Likewise. (compSignatureImport): Likewise. * interp/vmlisp.lisp (|compileLispDefinition|): New. * interp/boot-pkg.lisp: Import genImportDeclaration. * boot/initial-env.lisp: Export genImportDeclaration. * boot/ast.boot: Tidy. Accept `readwrite' modifier.
2009-02-28(no commit message)dos-reis1-4/+3
2009-02-28 * lisp/core.lisp.in ($ECLVersionNumber): New.dos-reis1-0/+11
* boot/ast.boot (genECLnativeTranslation): Use it.
2009-02-10 * interp/i-spec2.boot (upDollar): Fix thinko.dos-reis2-0/+6
* interp/compat.boot (editFile): Tidy. * interp/br-op2.boot (modemap2Sig): Don't update $badStack.xo
2009-01-032009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-5/+16
* Makefile.pamphlet (AXIOM_SRC_TARGETS): Add all-databases. src/ChangeLog 2009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu> * lisp/core.lisp.in (|%algebraSystemIsComplete|): New. (|%basicSystemIsComplete|): Use it. * interp/wi1.boot (setqSingle): Use maximalSuperType. (coerceSubset): Simplify. (compCoerce1): Tidy. * interp/i-resolv.boot (resolveTCat): Use superType. * interp/lisplib.boot (findConstructorSlotNumber): Use isSubset. (sigsMatch): Likewise. (findDomainSlotNumber): Likewise. * interp/define.boot (compSubDomain1): Reject for complex subdomain predicate. Support paramterized subdomains. * interp/daase.lisp (interpOpen): Read superdomain slot. (getdatabase): Remove adhoc hardcoded superdomain info. Return superdomain info stored in database. (localnrlib): Read superdomain info. (write-interpdb): Write superdomain info. (database): Add superdomain slot. * interp/g-util.boot (superType): New. (maximalSuperType): Rework. Support parameterized subdomains. (noteSubDomainInfo): New. (isSubDomain): Rework. * interp/c-util.boot (isSubset): Rework. * interp/g-opt.boot (optEQ): Remove. * interp/g-cndata.boot (getImmediateSuperDomain): Remove. (maximalSuperType): Move to g-util.boot. * interp/types.boot (%Constructor): New type specifier. (%Instantiation): Likewise. * interp/compiler.boot (primitiveType): Don't return $NegativeInteger. (maxSuperType): Remove. (hasType): Use maximalSuperType. (satisfies): New. (coerceSubset): Use it. Simplify. * interp/wi2.boot (smallIntegerStep): Use maximalSuperType. * interp/sys-constants.boot ($AtVariables): New. ($NegativeInteger): Remove. ($NonPositiveInteger): Likewise. ($CategoryNames): Category is not a category. * interp/property.lisp: Remove Subsets property settings. * interp/i-coerce.boot (coerceSubDomain): Simplify. (coerceImmediateSubDomain): Remove. (getSubDomainPredicate): Simplify. * interp/category.boot (SourceLevelSubset): Use isSubDomain. (MachineLevelSubset): Likewise. * interp/modemap.boot (mergeModemap): Likewise. (isSuperDomain): Remove. (augModemapsFromDomain): Support parameterized subdomains. * interp/i-util.boot (isSubDomain): Move to g-util.boot. * Makefile.pamphlet (all-databases): New target. * interp/Makefile.pamphlet ($(AXIOMSYS)): Push :open-axiom-algebra-system onto *FEATURES*. * etc/Makefile.in (all-databases): New target.
2008-11-18 * interp/sys-utility.boot (loadExports): New.dos-reis1-1/+5
* interp/sys-driver.boot (initializeGlobalState): Set $compileDefaultsOnly. * interp/lisplib.boot (isFunctor): Load exports file if present. * interp/define.boot (compDefineCategory2): Don't write out category load time stuff if we are compiling only defaults. * interp/boot-pkg.lisp: Import loadFileIfPresent. * lisp/core.lisp.in (|loadFileIfPresent|): New. (|loadIfPresent|): Use it.
2008-11-17 * lisp/core.lisp.in (|getOptionValue|): Make second argument optional.dos-reis1-2/+2
* interp/sys-driver.boot (initializeGlobalState): Set $compileExportsOnly. * interp/lisplib.boot (compDefineExports): New. * interp/define.boot (skipCategoryPackage?): New. (compDefineCategory1): Use it. (compDefineFunctor): Don't compile to NRLIB if interested only in exports. (compDefineFunctor1): Honor $compileExportsOnly. * interp/sys-macros.lisp (|withOutputFile|): New. * interp/sys-utility.boot (quoteForm): Likewise.
2008-11-02 * lisp/core.lisp.in (|$ExtraRuntimeLibraries|): Listify.dos-reis2-6/+7
(extra-runtime-libs): Tidy. * lisp/Makefile.in (edit): stringify $(oa_c_runtime_extra) elements.
2008-09-14 * lisp/core.lisp.in (TRANSLATE-OPTION-VALUE): New.dos-reis1-1/+17
(parseOption): Use it.
2008-09-13 * lisp/core.lisp.in (|$NativeTypeTable|): Don' include `pointer'dos-reis2-6/+3
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.
2008-08-23 * lisp/core.lisp.in [CLISP]: Set global customization variables.dos-reis1-0/+11
Don't translate C-strings. * boot/ast.boot (nativeType) [SBCL]: Don't translate C-strings.
2008-08-21 * lisp/core.lisp.in (|systemRootDirectory|): Lookup option by name. dos-reis1-2/+2
(|systemLibraryDirectory|): Likewise.
2008-08-20 * boot/Makefile.in (oa_boot_linkset): Tidy.dos-reis2-5/+7
($(oa_boot_linkset)): New Make rule. * lisp/Makefile.in (oa_base_lisp_linkset): Tidy. ($(oa_base_lisp_linkset)): New Make rule. * lisp/core.lisp.in (linkset-from): Read the linkset from the file.
2008-08-202008-08-19 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-1/+1
* 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.
2008-08-17 * interp/sys-globals.boot ($updateCatTableIfTrue): Default to false.dos-reis1-0/+3
* interp/sys-driver.boot (AxiomCore::%sysInit): Have ECL quiet. (initializeGlobalState): Initialize new world states. * interp/define.boot (compDefine): Tidy. (compDefineCategory2): Explicitly initialize $TOP_LEVEL and $definition. * interp/daase.lisp (|fillDatabasesInCore|): Use $buildingSystemAlgebra. * interp/compiler.boot (compMakeDeclaration): Explicitly initialize $insideExpressionIfTrue. * boot/translator.boot (AxiomCore::%sysInit): Supper GCL and ECL compiler notes, but ask for warning.
2008-08-16 * boot/strap: Update cached Lisp translation.dos-reis1-1/+1
* lisp/core.lisp.in (linkset-from-if): Fix typo.
2008-08-16 * lisp/core.lisp.in (|%basicSystemIsComplete|): New. Export.dos-reis1-1/+5
(|link|): Use prologue for all systems. * interp/sys-driver.boot (systemMain): New. Break from restart(). (restart): Tidy. * interp/boot-pkg.lisp: Don't push :OPEN-AXIOM-BOOT-COMPLETE.
2008-08-15 * lisp/core.lisp.in (|$StandardLinking|): New. Export.dos-reis2-0/+10
* lisp/Makefile.in (edit): Update. * interp/daase.lisp: Don't load initial databases when --system-algebra. * interp/Makefile.pamphlet (${SAVESYS}): Build with --system-algebra.
2008-08-15 * lisp/core.lisp.in (getOptionValue): Export.dos-reis1-0/+1
* 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.
2008-08-13 * lisp/core.lisp.in (LINKSET-FROM): New.dos-reis2-15/+58
(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.
2008-08-07 * lisp/core.lisp.in (boot-completed-p): New.dos-reis2-34/+99
(|$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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-23 06:30:40 +0000