Age | Commit message (Collapse) | Author | Files | Lines |
|
(writeablep): Document.
* algebra/fname.spad.pamphlet (exists?$FileName): Use existingFile?
(readable?$FileName): Use readablep.
(writeable?$FileName): Use writeable.
|
|
|
|
functions.
* boot/strap/parser.clisp: Update.
* interp/sys-os.boot: Change to new syntax throughout.
|
|
* interp/types.boot: Tidy.
* interp/sys-constants.boot: Define limits for builtin numeric types.
* interp/sys-os.boot: Import sys-constants.
* interp/foam_l.lisp: Import sys-constants. Align builtin numeric
types with OpenAxiom runtime's.
* interp/fortcall.boot: Tidy.
* interp/i-output.boot: Likewise.
* interp/Makefile.pamphlet (foam_l.$(FASLEXT)): Now require
sys-constants.$(FASLEXT).
* algebra/si.spad.pamphlet: Use $ShortMinimum and $ShortMaximum
for SingleInteger limits.
* algebra/sf.spad.pamphlet: Use $DoubleFloatMaximum,
$DoubleFloatMinimum for DoubleFloat limits.
* algebra/strap: Update cached Lisp translation.
|
|
(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.
|
|
* algebra/syntax.spad.pamphlet (SpadSyntaxCategory): Add
pretty-printer.
(HeadAst): Use Identifier.
(TypeAst,MappingAst,ImportAst,SignatureAst,AttributeAst,JoinAst,
IfAst,RepeatAst,WhileAst,InAst,CollectAst,ConstructAst,
ExitAst,ReturnAst,SequenceAst,LetAst,PretendAst,CoerceAst,
RestrictAst,CallAst,SegmentAst): New domains.
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add
TYPEAST, IMPTAST, MAPPAST, ATTRAST, JOINAST, IFAST, RPTAST
WHILEAST, INAST, CLLCAST, LSTAST, EXITAST, RETAST, SEGAST,
PRTDAST, CRCAST, LETAST.
* share/algebra: Update databases.
|
|
(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.
|
|
Gabriel Dos Reis <gdr@cs.tamu.edu>
Fix AW/431
* algebra/ore.spad.pamphlet (SpareUnivariateSkewPolynomial):
Implement **.
2008-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu>
Make ^ an alias for **.
* interp/postpar.boot (postAtom): Replace "^" with "**".
* interp/format.boot (reportOpSymbol): Announce that "^" is an
alias for "**".
* interp/nrungo.boot (compiledLookup): Be sure to look for "**"
when operation is "^".
* interp/define.boot (noteCapsuleFunctionDefinition): New.
(clearCapsuleFunctionTable): Likewise.
(noteExport): Likewise.
(clearExportsTable): Likewise.
(compDefineCapsuleFunction): Rename "^" to "**". Take a note
of the capsule function being compiled.
(compCapsule): Clear previous capsule functions table.
(doItIf): Keep track of predicate validity.
(compCategory): Clear previous exports table.
(compCategoryItem): Take notes of declared attributes and signatures.
* algebra/catdef.spad.pamphlet (DivisionRing): Remove duplicate
definition for "^".
(Group): Likewise.
(Monoid): Likewise.
(SemiGroup): Likewise.
* algebra/poly.spad.pamphlet (PolynomialRing): Remove duplicate
definitins of "^".
(SparseUnivariatePolynomial): Likewise.
* algebra/multpoly.spad.pamphlet (SparseMultivariatePolynomial):
Remove duplicate definitions for "^".
* algebra/interval.spad.pamphlet (Interval): Remove duplicate
definition for "^".
* algebra/curve.spad.pamphlet (FunctionFieldCategory): Remove
duplicate declaration for represents.
* algebra/strap/: Update cached Lisp translations.
* share/algebra: Update databases.
|
|
|
|
|
|
Alfredo Portes <doyenatccny@gmail.com>
Fix AW/280
* interp/br-search.boot (grepConstruct): Return error messages
verbatim.
|
|
(diagnoseUknownType): Likewise.
* interp/define.boot (compCategoryItem): Use it. Check for
unknown types.
|
|
(mkEvalableCategoryForm): Move to define.boot
|
|
(writeToFileHandle): Likewise.
(closeFileHandle): Likewise.
(openLocalClientStreamSocket): Likewise
(oa_filedesc_read): Likewise.
(oa_filedesc_write): Likewise.
(oa_filedesc_close): Likewise.
* include/sockio.h (oa_open_local_client_stream_socket): Declare.
* lib/sockio-c.c (oa_open_local_client_stream_socket): Define.
(oa_filedesc_read): Likewise.
(oa_filedesc_write): Likewise.
(oa_filedesc_close): Likewise.
|
|
quotient of the integer division.
|
|
* interp/sys-driver.boot (restart): Use it.
|
|
* interp/modemap.boot (putDomainsInScope): Likewise.
* interp/wi1.boot (compMacro): Likewise.
|
|
thinko.
|
|
$CategoryFrame with modemap for the constructor we just finished
compiling.
|
|
* interp/compiler.boot (COMP-1): Likewise.
|
|
(initializeGlobalState): Set it and honor it.
* interp/daase.lisp (initial-getdatabase): Be talkative only when
asked.
|
|
* 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.
|
|
(initializeGlobalState): Tidy.
(executeSpadScript): Don't display start up messages.
(compileSpadLibrary): Likewise.
(buildDatabasesHandler): Likewise.
(systemMain): Initialize global states.
* interp/nrunfast.boot: Defin $NRTvec, $monitorNewWorld.
* interp/daase.lisp (|fillDatabasesInCore|): Rename from
RESETHASHTABLES.
(|closeAllDatabaseStreams|): Rename from closeAllDatabases
* interp/util.lisp (build-interpsys): Initialize macro table.
* interp/htcheck.boot: Don't initialize macro table here.
|
|
pathToDatabase.
(|closeAllDatabases|): New. Split from RESETHASHTABLES.
* interp/util.lisp (build-interpsys): Call it here.
|
|
(%.$(LNKEXT) %.$(FASLEXT)): Likewise.
|
|
(compDefineFunctor1): Likewise.
* interp/wi1.boot (compDefineCategory2): Likewise.
(compDefineFunctor1): Likewise.
|
|
(|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.
|
|
* lisp/Makefile.in (edit): Update.
* interp/daase.lisp: Don't load initial databases when
--system-algebra.
* interp/Makefile.pamphlet (${SAVESYS}): Build with --system-algebra.
|
|
* interp/util.lisp (*BIN-TYPE*): Remove. Use $faslType throughout.
* interp/daase.lisp (get-current-directory): Tidy conditional
definition.
|
|
* 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.
|
|
(interpsys_modules): Remove.
(IN_modules): Likewise.
(AS_modules): Likewise.
(makeint.lisp): Simplify.
(makeint.$(LNKEXT)): New make rule.
(${SAVESYS}): Tidy.
(${AXIOMSYS}): Likewise.
* interp/util.lisp (build-interpsys): Lose first parameter. Tidy.
|
|
|
|
Install it as handler for --build-databases.
* etc/Makefile.in ($(openaxiom_databases)): Adjust.
|
|
|
|
|
|
twice.
(ASCOMP): Don't include here.
|
|
(|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.
|
|
|
|
CREATE-INITIALIZERS.
|
|
savesystem. 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.
|
|
|
|
* interp/sys-driver.boot (SET-RESTART-HOOK): Remove.
|
|
* interp/i-spec1.boot (upDeclare): Fields are not declarations.
* interp/i-map.boot (getUserIdentifiersIn): Ignore field names.
* testsuite/interpreter/aw-422.input: New.
|
|
(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.
|
|
* sman/sman.c (process_arguments): Use it.
(process_arguments): Likewise.
|
|
* interp/c-util.boot: Likewise.
* interp/comp.lisp: Likewise.
* interp/compiler.boot: Likewise.
* interp/cparse.boot: Likewise.
* interp/def.lisp: Likewise.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/i-eval.boot: Likewise.
* interp/i-intern.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-spec2.boot: Likewise.
* interp/iterator.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/newaux.lisp: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/nrunopt.boot: Likewise.
* interp/package.boot: Likewise.
* interp/parse.boot: Likewise.
* interp/pf2atree.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/postpar.boot: Likewise.
* interp/property.lisp: Likewise.
* interp/pspad1.boot: Likewise.
* interp/pspad2.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/spad.lisp: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
|
|
(pfMLambda2Sex): Likewise.
(pf2Sex1): Use them.
* interp/i-spec2.boot ($VoidValueObject): New.
($VoidCodeObject): Likewise.
(setValueToVoid): Likewise.
(setCodeToVoid): Likewise.
(upDEF): Call setValueToVoid.
(upfree): Call setCodeToVoid
(uplocal): Likewise.
(interpIF): Call setValueToVoid.
(up%Macro): New.
(up%MLambda): Likewise.
* interp/i-spec1.boot ($specialOps): Add %Macro and %MLambda.
* interp/macex.boot (macMacro): Really return the original macro
as the documentation says.
|