Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
compCategoryItem.
(compCategoryItem): Use it. Tidy.
(quotifyCategoryArgument): Remove.
(mkEvalableCategoryForm): Tidy.
|
|
|
|
* interp/define.boot (compDefineFunctor1): Adjust call.
|
|
(maprin): Use it. Separate record in lean mode.
* interp/sys-globals.boot ($leanMode): Define.
* interp/sys-driver.boot (systemMain): Initialize.
* interp/ht-util.boot (executeInterpreterCommand): Print prompt
only in non-lean mode.
* interp/int-top.boot (SpadInterpretStream): Likewise.
(intloopReadConsole): Likewise.
* interp/metalex.lisp (get-a-line): Likewise.
* interp/server.boot: Likewise.
|
|
new file.
|
|
* algebra/sex.spad.pamphlet (SExpressionCategory): Fix breakage
from last commit.
|
|
ConvertibleFrom S.
* algebra/newpoint.spad.pamphlet (PointCategory): Extend
ConvertibleFrom List R.
* algebra/misc.spad.pamphlet (SingletonAsOrderedSet): Now
ConvertibleTo Symbol.
* algebra/integer.spad.pamphlet (RomanNumeral): Now
ConvertibleFrom Symbol.
* algebra/float.spad.pamphlet (Float): Now ConvertibleFrom SF.
* algebra/sex.spad.pamphlet (SExpressionCategory): Extend
ConvertibleFrom Str, ConvertibleFrom Sym, ConvertibleFrom Int,
ConvertibleFrom Flt, ConvertibleFrom List %.
|
|
|
|
* algebra/asp.spad.pamphlet (Asp20): Now CoercibleFrom MAT FEXPR.
(Asp6): Now CoercibleFrom Vector FEXPR.
* algebra/catdef.spad.pamphlet (Algebra): Extend CoercibleFrom R.
(Ring): Extend CoercibleFrom Integer.
* algebra/formula.spad.pamphlet (ScriptFormulaFormat): Now
CoercibleFrom E.
* algebra/fortran.spad.pamphlet (FortranCode): Remove redundant
signature.
* algebra/fs2ups.spad.pamphlet
(FunctionSpaceToUnivariatePowerSeries): Tidy parameter.
* algebra/laurent.spad.pamphlet
(UnivariateLaurentSeriesConstructorCategory): Extend CoercibleFrom
UTS.
* algebra/manip.spad.pamphlet (PolynomialRoots): Tidy parameter.
* algebra/modmon.spad.pamphlet (ModMonic): Now CoercibleFrom Rep.
* algebra/ore.spad.pamphlet (UnivariateSkewPolynomial): Now
CoercibleFrom Variable x.
|
|
Remove redundant signature.
(NumericalODEProblem): Likewise.
(NumericalPDEProblem): Likewise.
(NumericalOptimizationProblem): Likewise.
* algebra/forttyp.spad.pamphlet (FortranType): Likewise.
* algebra/void.spad.pamphlet (Void): Now CoercibleTo OutputForm.
|
|
|
|
HomotopicTo P.
(OrdinaryWeightedPolynomials): Likewise.
* algebra/modmonom.spad.pamphlet (ModuleMonomial): Now
HomotopicTo MM.
* algebra/matrix.spad.pamphlet (coerce$RectangularMatrix): Remove
redundant signature.
* algebra/lodop.spad.pamphlet (OrdinaryDifferentialRing): Now
HomotopicTo HomotopicTo R.
* algebra/alql.spad.pamphlet (DataList): Now HomotopicTo List S.
* algebra/array1.spad.pamphlet (Tuple): Now HomotopicTo
PrimitiveArray S.
* algebra/kl.spad.pamphlet (CachableSet): Now HomotopicTo S.
* algebra/java.spad.pamphlet (JavaBytecode): Now HomotopicTo Byte.
* algebra/fname.spad.pamphlet (FileNameCategory): Extends
HomotopicTo String.
* algebra/data.spad.pamphlet (Byte): Now HomotopicTo Character.
|
|
* algebra/exposed.lsp.pamphlet: Expose it.
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include HOMOTOP.
|
|
(ConvertibleFrom): Likewise.
(RetractableTo): Use it.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
KRCFROM and KVTFROM.
* share/algebra/: Update databases.
|
|
* 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.
|
|
(newHasTest): Use it to handle signature export test.
* testsuite/interpreter/has.input: New.
|
|
exported list, instead of category object. Tidy.
* interp/define.boot (compDefineFunctor1): Adjust call to
compDefineExports.
|
|
* 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.
|
|
* interp/iterator.boot: Likewise.
|
|
* interp/database.boot: Likewise.
* interp/debug.lisp: Likewise.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-cndata.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/guess.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/macros.lisp: Likewise.
* interp/nrungo.boot: Likewise.
* interp/preparse.lisp: Likewise.
* interp/spad.lisp: Likewise.
* interp/sys-macros.lisp: Likewise.
* interp/trace.boot: Likewise.
* interp/types.boot: Likewise.
* interp/vmlisp.lisp: Likewise.
* interp/word.boot: Likewise.
|
|
* interp/Makefile.pamphlet: Adjust.
|
|
* interp/spad.lisp: Likewise.
|
|
hashcode.
* interp/cfuns.lisp: Delete.
|
|
compiler driver to i-syscmd.boot.
* interp/define.boot: Import "nruncomp", "functor", "package".
* interp/wi2.boot (NRTgetLocalIndex): Remove duplicate.
|
|
* interp/modemap.boot ($forceAdd): Define.
* interp/nruncomp.boot ($NRTderivedTargetIfTrue): Likewise.
($killOptimizeIfTrue): Likewise.
* interp/i-toplev.boot (processInteractive): Tidy.
* interp/c-util.boot ($compErrorMessageStack): Define.
* interp/compiler.boot (compApply): Remove.
($compTimeSum): Likewise
($resolveTimeSum): Likewise.
(compCompilerPredicate): Tidy.
(comp3): There is no such thing as KAPPA.
|
|
|
|
* interp/compiler.boot: Likewise.
* interp/define.boot: Likewise.
* interp/sys-globals.boot: Likewise.
* interp/wi1.boot ($frontier): Removed, as unused.
* interp/wi2.boot ($attributesName): Likewise.
($goGetList): Likewise.
($NRTaddList): Likewise.
($NRTloadTimeAlist): Likewise.
($lisplibMissingFunctions): Likewise.
($alternateViewList): Likewise.
|
|
* interp/br-op1.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/category.boot: Likewise.
* interp/g-cndata.boot: Likewise.
* interp/i-util.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
|
|
(isPackageType): Likewise.
* interp/lisplib.boot (getSlotFromDomain): Remove.
* interp/macros.lisp (|saySpadMsg|): Remove.
* interp/vmlisp.lisp (qsetq): Remove.
(STATEP, FUNARGP, PAPPP): Likewise.
(LISTOFQUOTES, LISTOFFREES): Likewise.
|
|
s-expressions.
* algebra/sex.spad.pamphlet (SExpression): Print strings as
String.
|
|
* interp/template.boot: Move non-dead code where appropriate.
Remove file.
* boot/ast.boot (bfQ): Improve.
|
|
(extra-runtime-libs): Tidy.
* lisp/Makefile.in (edit): stringify $(oa_c_runtime_extra) elements.
|
|
openaxiom_unknown_driver.
(openaxiom_preprocess_arguments): If a file is specified, then it
is a script unless told otherwise.
|
|
* interp/category.boot: Import "g-cndata"
* interp/c-util.boot: Import "g-opt".
* interp/Makefile.pamphlet: Adjust Make rules.
|
|
* sman/sman.c (process_arguments): Fix thinko.
(process_options): Complain about unknown options.
|
|
* sman/Makefile.in: Add additional C runtimes for link.
* lib/openpty.c: Include <pty.h> and <util.h> where available.
(ptyopen): Lose third parameter. Tidy.
(makeNextPtyNames): Now static.
* clef/edible.c (controllerPath): Remove.
Adjust call to ptyopen.
* clef/Makefile.in (clef_LDADD): Add extra C runtimes.
|
|
|
|
|
|
variables really are locals.
* interp/i-map.boot (findLocalVars1): Fix typo.
|
|
|
|
Instantiate src/hyper/presea.
|
|
* graph/Gdraws/Gfun.c: Likewise.
* graph/view2D/control2d.c: Likewise.
* graph/view2D/main2d.c: Likewise.
* graph/view2D/process2d.c: Likewise.
* graph/view3D/main3d.c: Likewise.
* graph/view3D/process3d.c: Likewise.
* graph/viewAlone/spoon2D.c: Likewise.
* graph/viewAlone/spoonComp.c: Likewise.
* graph/viewman/fun2D.c: Likewise.
* graph/viewman/fun3D.c: Likewise.
* hyper/extent2.c: Likewise.
* hyper/hthits.c: Likewise.
* hyper/htinp.c: Likewise.
* hyper/initx.c: Likewise.
* hyper/lex.c: Likewise.
* hyper/parse-types.c: Likewise.
* hyper/spadint.c: Likewise.
* hyper/titlebar.c: Likewise.
* lib/fnct_key.c: Likewise.
* sman/sman.c: Likewise.
|
|
|
|
|
|
readByteFromStreamSocket. Import oa_socket_write_byte as
writeByteToStreamSocket.
* include/sockio.h (oa_socket_read_byte): Declare.
(oa_socket_write_byte): Likewise.
* lib/sockio-c.c (oa_socket_read_byte): Define.
(oa_socket_write_byte): Likewise.
* algebra/net.spad.pamphlet (readByteIfCan!$InetClientStreamSocket):
Implement.
(writeByteIfCan!$InetClientStreamSocket): Likewise.
* etc/asq.c.pamphlet: Update build rules for asq$(EXEEXT).
|
|
|
|
* lib/sockio-c.c (oa_inet_pton): Define.
(oa_get_host_address): Likewise.
* algebra/net.spad.pamphlet (IP4Address): New.
(NetworkClientSocket): Likewise.
(InetClientStreamSocket): Likewise.
* algebra/data.spad.pamphlet (DataArray): Rename from DataBuffer.
(ByteBuffer): Rename from ByteArray. Reimplement.
* algebra/exposed.lsp.pamphlet: Expose IP4Address,
InetClientStreamSocket, NetworkClientSocket.
|
|
|