Age | Commit message (Collapse) | Author | Files | Lines |
|
Category are conceptually abstract.
* testsuite/interpreter/category.input: Add a testcase.
|
|
all domains belong to Category.
|
|
* testsuite/interpreter/show.input: New.
|
|
OrderedSemiGroup and a Monoid.
* share/algebra: Updata databases.
|
|
* hyper/node.h [!X_DISPLAY_MISSING]: Use it.
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP.
|
|
is an Expression, but not a fraction.
|
|
* hyper/parse-types.c (htperror): Fix thinko.
|
|
* interp/compiler.boot (compReturn): Robustify.
(unknownTypeError): Likewise.
* interp/info.boot (knownInfo): Likewise.
|
|
|
|
* etc/Makefile.in: Make all databases part of the final system.
|
|
|
|
|
|
|
|
Prefix enumerations with "openaxiom_".
* hyper/cond.c: Adjust.
* hyper/display.c: Likewise.
* hyper/event.c: Likewise.
* hyper/extent1.c: Likewise.
* hyper/extent2.c: Likewise.
* hyper/htadd.c: Likewise.
* hyper/htinp.c: Likewise.
* hyper/macro.c: Likewise.
* hyper/mem.c: Likewise.
* hyper/parse-aux.c: Likewise.
* hyper/parse-input.c: Likewise.
* hyper/parse-paste.c: Likewise.
* hyper/parse-types.c: Likewise.
* hyper/parse.c: Likewise.
* hyper/scrollbar.c: Likewise.
* hyper/show-types.c: Likewise.
* hyper/spadint.c: Likewise.
* hyper/titlebar.c: Likewise.
|
|
|
|
* hyper/htadd.c: Don't include hyper.h. Include cfuns.h and
node.h instead.
|
|
* include/ex2ht.H1: Remove.
* include/hthits.H1: Remove.
|
|
|
|
|
|
sockio.h. Include node.h.
* hyper/hyper.h: Don't include X11 headers. Include node.h.
Mode node data structures to node.h.
* hyper/cond.c: Don't include hterror.h. Include lex.h
* hyper/Makefile.in (HEADERS): Include node.h. Remove hterror.h.
(hypertex_SOURCES): Remove hterror.c
(htadd_SOURCES): Likewise.
* hyper/node.h: New.
* hyper/hterror.h: Remove.
* hyper/hterror.c (token_name): Move to hyper/lex.c.
(print_token): Likewise.
(print_next_ten_tokens): Likewise.
(print_page_and_filename): Likewise.
(jump): Likewise.
(ebuffer): Likewise.
(htperror): Move to parse-types.c
Remove file.
|
|
(oa_access_file_for_read): Likewise.
* lib/cfuns-c.c (oa_getcwd): Define.
(oa_access_file_for_read): Likewise.
(oa_get_tmpdir): Likewise.
* hyper/addfile.c: Don't include hyper.h
(build_ht_filename): Use oa_getcwd, oa_access_file_for_read.
(temp_file_open): Use oa_get_tmpdir.
* hyper/htadd.c (build_db_filename): Don't fall back to bogus
filename.
* hyper/hyper.h (temp_dir): Remove.
(def_spad): Likewise.
|
|
(gPageBeingParsed): Likewise.
* hyper/htadd.c (session_server): Remove.
(MenuServerOpened): Likewise.
(gXDisplay): Likewise.
(gXScreenNumber): Likewise.
* hyper/lex.c (reset_connection): Move to hyper/parse.c
(connect_spad): Move to hyper/spadint.c
(spad_busy): Likewise.
(get_char1): Remove conditional code.
* hyper/Makefile.in (mostclean-local): Tidy.
|
|
* include/halloc.h: Rename from include/halloc.H1.
* include/lex.H1: Remove.
* include/hterror.H1: Likewise.
* hyper/halloc.c: Likewise.
* hyper/hash.c: Likewise.
* hyper/Makefile.in (hypertex_SOURCES): Don't include hash.c,
halloc.c.
|
|
* algebra/sttaylor.spad.pamphlet
(powern$StreamTaylorSeriesOperations): Tidy.
|
|
* algebra/free.spad.pamphlet (<$FreeAbelianGroup): Fix ordering.
|
|
|
|
* boot/includer.boot: Likewise.
* boot/parser.boot: Likewise.
* boot/pile.boot: Likewise.
* boot/scanner.boot: Likewise.
* boot/tokens.boot: Likewise.
* boot/translator.boot: Likewise.
|
|
* lisp/core.lisp.in ($effectiveFaslType): New.
* boot/translator.boot (needsStableReference?): Handle the ECL case.
(coerceToNativeType): Likewise.
(genImportDeclaration): Likewise.
(shoeRemoveStringIfNec): Fix thinko.
($bootDefined): Define.
($bootDefinedTwice): Likewise.
($lispWordTable): Likewise.
(getIntermediateLispFile): Use $effectiveFaslType.
(loadSystemRuntimeCore): Use coreError, not systemError.
|
|
* algebra/aggcat.spad.pamphlet (=$TableAggregate): Fix thinko.
|
|
* hyper/keyin.h (UnsupportedModMask): Rename from ShiftModMask.
* hyper/keyin.c (UnsupportedModMask): Likewise.
(get_modifier_mask): New.
(init_keyin): Use it.
* hyper/dialog.c (dialog): Adjust.
|
|
* algebra/vector.spad.pamphlet (DirectProductCategory): Also a
Monoid is base type belongs to Monoid.
(DirectProduct): Implement multiplication is base type belongs to
Monoid.
|
|
* algebra/catdef.spad.pamphlet (OrderedAbelianSemiGroup): Now a
join of OrderedSet and AbelianSemiGroup.
* algebra/integer.spad.pamphlet (PositiveInteger): Now belongs to
both OrderedAbelianSemiGroup and Monoid. Update cached Lisp
translation.
* shared/algebra: Update databases.
|
|
* algebra/reclos.spad.pamphlet (sqrt$RealClosedField): Fix signature.
|
|
* hyper/pages/MSET.ht: Fix typo.
|
|
* hyper/htsearch (htpagedir): Avoid deprecated switch.
|
|
* algebra/numtheor.spad.pamphlet
(divisors$IntegerNumberTheoryFunctions): Fix thinko.
|
|
|
|
* interp/i-analy.boot (isConceptualCategory): New.
* interp/i-object.boot (getValueNormalForm): Use it.
* testsuite/interpreter/aw-16.input: New.
|
|
(getValueNormalForm): New.
* interp/i-code.boot (intCodeGenCOERCE): Use it.
* interp/i-coerce.boot (coerceIntByMap): Likewise.
* interp/i-eval.boot (getArgValue): Likewise.
(getArgValue2): Likewise.
* interp/i-funsel.boot (selectMms): Likewise.
* interp/i-map.boot (rewriteMap): Likewise.
* interp/i-spec2.boot (IFcodeTran): Likewise.
(evalLET): Likewise.
(upreturn): Likewise.
* interp/g-cndata.boot (isConstructorName): New.
* testsuite/interpreter/eval-dep-type.input: New.
|
|
*ATTRIBUTES*.
* interp/as.boot (asyFindAttrs): Adjust use.
* interp/daase.lisp (WRITE-COMPRESS): Likewise.
* interp/g-cndata.boot (attribute?): Likewise.
|
|
* interp/g-cndata.boot (condUnabbrev): Handle homogeneous varargs
for constructors taking tuples.
* interp/i-resolv.boot: Revolve domains and categories.
|
|
(setqMultiple): Likewise.
* interp/def.lisp (DEF-IS2): Likewise.
* interp/define.boot (compAdd): Likewise.
* interp/fnewmeta.lisp (|PARSE-Enclosure|): Likewise.
* interp/fortcall.boot (lmultiToUnivariate): Likewise.
(functionAndJacobian): Likewise.
(vectorOfFunctions): Likewise.
* interp/mark.boot (markMultipleExplicit): Likewise.
(markInsertBodyParts): Likewise.
* interp/nruncomp.boot (NRTaddDeltaCode): Likewise.
* interp/nrunopt.boot (NRTextendsCategory1): Likewise.
* interp/postpar.boot (postTransform): Likewise.
(postTran): Likewise.
(postPretend): Likewise.
(postConstruct): Likewise.
(postBlockItem): Likewise.
(postCategory): Likewise.
(postForm): Likewise.
(postTransScripts): Likewise.
(postJoin): Likewise.
(postMapping): Likewise.
(postCollect): Likewise.
(postInSeq): Likewise.
(postType): Likewise.
(post%Comma): Rename from postTuple.
(unComma): Rename from unTuple.
(comma2Tuple): Remove.
* interp/trace.boot (traceSpad2Cmd): Use %Comma, not Tuple.
* interp/wi1.boot (compSetq1): Likewise.
(setqMultiple):Likewise.
* boot/translator.boot (compileBootHandler): Give up if
translation to Lisp contained errors.
* testsuite/compiler/aw-420.spad: New.
|
|
|
|
parameter.
(finalizeLisplib): Adjust call.
(compDefineLisplib): Likewise.
|
|
(compDefineLisplib): Use it.
(finalizeLisplib): Likewise.
* algebra/Makefile.pamphlet (%.NRLIB/code.$(FASLEXT)): Invoke the
compiler directly.
(SPADPRSR.NRLIB/code.$(FASLEXT)): Likewise.
(PARSER.NRLIB/code.$(FASLEXT)): Likewise.
* interp/compiler.boot (compSetq1): Fix thinko.
* interp/define.boot (hasSigInTargetCategory): Give a clue to the
pretty printer.
* interp/sys-utility.boot ($ERASE): Remove declaration.
|
|
thinko.
|
|
* algebra/riccati.spad.pamphlet (RationalRicDE): Don't import
inexistent RatODETools.
|
|
(makeLiteral): Likewise.
* interp/compiler.boot (compSymbol): Use isLiteral.
* interp/wi1.boot (compSymbol): Likewise.
|
|
record field.
(Asp31): Likewise.
(asp34): Likewise.
(Asp77): Likewise.
(Asp8): Likewise.
(Asp9): Likewise.
* algebra/fortran.spad.pamphlet (FortranCode): Likewise.
* algebra/moebius.spad.pamphlet (MoebiusTransform): Likewise.
|