aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
AgeCommit message (Collapse)AuthorFilesLines
2008-01-17 Fix SF/1849734dos-reis1-0/+17
* interp/i-spec1.boot (upand): Don't insist on having operands of type Boolean. (upor): Likewise. * algebra/mkrecord.spad.pamphlet (Pair): New domain constructor. * algebra/exposed.lsp.pamphlet: Expose Pair, PropositionalLogic, PropositionalFormula. * algebra/boolean.spad.pamphlet (PropositionalFormula): New domain constructor. * algebra/Makefile.pamphlet (axiom_algebra_layer_4): Include PAIR.o. (axiom_algebra_layer_19): Include PROPFRML.o * share/algebra: Update databases. * testsuite/interpreter/1849734.input: New.
2008-01-16 Fix SF/1848975dos-reis1-0/+11
* interp/buildom.boot ($commonCategoryAncestors): New. ($commonCategoryDefaults): Likewise. (Record0): Use it. (Union): Likewise. (Mapping): Likewise. (Enumeration): Likewise. * testsuite/algebra/1848975.input: New.
2008-01-16 Fix SF/1872564dos-reis1-0/+8
* interp/compiler.boot (compPretend): Don't check for `new' compiler semantics. (compColonInside): Likewise. * testsuite/compiler/1872564.spad: New.
2008-01-16 Fix SF/1850071dos-reis1-0/+5
* algebra/syntax.spad (compound?$Syntax): New.
2008-01-16 * algebra/boolean.spad.pamphlet (PropositionalLogic): New category.dos-reis1-0/+9
(Boolean): Assert as belonging to PropositionalLogic. Update cached Lisp translation. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Add PROPLOG.o * src/algebra: Update databases.
2008-01-15 * algebra/syntax.spad (autoCoerce$Syntax): Add overloads.dos-reis1-0/+8
* interp/compiler.boot (coerceExtraHard): Always coerce by autoCoerce. * testsuite/interpreter/case.spad: Likewise. * testsuite/interpreter/case.input: New.
2008-01-14 * interp/compiler.boot (compSymbol): Don't handle possibledos-reis1-0/+19
case views here. (hasUniqueCaseView): Rename from getUniqueCaseView. Take the target mode as second argument. (compForm2): Use calling convention vector to determine infer flag parameter types. (compCase1): Uniformly handle `case-expressions'. Call genDeltaEntry for selected operator. (coerceExtraHard): Handle coercions from UnionType domains. (autoCoerceByModemap): Tidy. * interp/g-opt.boot (optCall): Be more verbose in diagnostics. * algebra/syntax.spad (Syntax): Rework. * algebra/coerce.spad.pamphlet (UnionType): New. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include UTYPE.o * share/algebra: Update databases.
2008-01-13 Fix SF/1852076dos-reis1-2/+11
* algebra/domain.spad (reify$Domain): Specify target type of conversion. * interp/nrunfast.boot (newLookupInDomain): Tidy. (newLookupInCategories): Likewise. * testsuite/interpreter/1852076.input: New.
2008-01-13 Fix SF/1867459dos-reis1-0/+7
* interp/postpar.boot (postError): Fix thinko. * interp/parse.boot ($defOp): Define. * testsuite/compiler/1867459.spad: New.
2008-01-132008-01-13 Ralf Hemmecke <ralf@hemmecke.de>dos-reis1-0/+6
Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/bags.spad.pamphlet (Stack$map!): Cache the result in the underlying reference.
2008-01-11 * interp/msg.boot (getStFromMsg): Fix typo.dos-reis1-0/+4
2008-01-10Fix thinkodos-reis1-0/+5
2008-01-08Disable highlighting on Win32dos-reis1-0/+5
2008-01-08 * boot/Makefile.pamphlet (AXIOM_LOCAL_LISP): Use Lisp image with Cdos-reis1-0/+9
bindings. * interp/msgdb.boot (brightPrint0): Don't highlight if the standard output is not attached to a terminal. * interp/sys-driver.boot (stdStreamIsTerminal): New. * lib/cfuns-c.c (std_stream_is_terminal): New.
2008-01-08Automate FFI at Boot leveldos-reis1-0/+12
2008-01-07 * sman/sman.c: Remove debug and dead codes.dos-reis1-0/+4
2008-01-06 * driver/main.c (main) [__WIN32__]: Fix off-by-one thinko.dos-reis1-0/+4
2008-01-052008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+7
* configure.ac.pamphlet: For mingw host, default $prefix to C:/Program Files/OpenAxiom. Don't instantiate src/script/axiom. Instantiate src/driver/Makefile. Tidy. * Makefile.pamphlet: Tidy. * config/axiom-c-macros.h.in: Update. src/ 2008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu> * scripts/axiom.in: Remove. * driver: New directory. * driver/main.c: New. Now implement driver as native application.
2008-01-01Annual ChangeLog rotation.dos-reis1-366/+0
2007-12-27Remove src/bookletsdos-reis1-0/+1
2007-12-27Remove booklets directorydos-reis1-0/+4
2007-11-262007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+5
* Makefile.pamphlet: Remove all-depsys rule. src/ 2007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet: Remove all-depsys rule. (all-interpsys): Now depend on all-boot. src/interp/ 2007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu> Remove depsys from OpenAxiom. * Makefile.pamphlet: Remove references to depsys. * macros.lisp (BRIGHPRINT): Remove. (BRIGHPRINT-0): Likewise. * util.lisp (build-depsys): Likewise. (processSynonyms): Likewise.
2007-09-192007-09-19 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+4
* Makefile.pamphlet (all-interpsys): Now depend on all-depsys. src/interp/ 2007-09-19 Gabriel Dos Reis <gdr@cs.tamu.edu> * util.lisp.pamphlet ($directory-list): Move to sys-globals.boot. ($library-directory-list): Likewise. * spad.lisp.pamphlet: Import "bootlex". * preparse.lisp.pamphlet: Import "fnewmeta". * postprop.lisp: Import "macros". * postpar.boot.pamphlet: Import "postprop". * nlib.lisp.pamphlet (rdefiostream): Define unconditionally. (get-io-index-stream): Likewise. (makedir): Likewise. (get-directory-list): Don't use $current-diretory. ($filetype-table): Move to sys-constants.boot. * patches.lisp.pamphlet ($current-directory): Remove. (|cd|): Simplify implementation. * newaux.lisp.pamphlet: Import "macros". (|PARSE-NewKEY|): Define. * metalex.lisp: Move various file, line, stack, character utilities to here. * macros.lisp.pamphlet (NREVERSE0): Move to sys-macros.lisp. Tidy. * fnewmeta.lisp.pamphlet: Import "parsing". * comp.lisp: Import "macros". * def.lisp: Likewise. (B-MDEF): Fix thinko. * bootlex.lisp: Import "preparse", "def", and "nlib". (BOOT-LINE-STACK): Move to metalex.lisp. (NEXT-LINES-CLEAR): Likewise. (NEXT-LINES-SHOW): Likewise. (XCAPE): Likewise. (KEYWORDS): Likewise. * Makefile.pamphlet (${DEPSYS}): Now have all Lisp in compiled form and load them. * bookvol5.pamphlet ($current-directory): Remove.
2007-08-222007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+5
* Makefile.pamphlet (check): New rule. * Makefile.in: Regenerate. src/ 2007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (all-check): New rule. * Makefile.in: Regenerate. sr/input 2007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (all-ax all-input): Remove regress. (${OUT}/%.input): Don't be overly verbose. (%.input): Likewise. (%.as): Likewise. (use): Remove, as it is empty (regress): Likewise. (bug): Likewise. (document): Likewise. (all-check): New rule. Launch testing. * Makefile.in: Regenerate.
2007-08-17src/dos-reis1-0/+8
2007-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (all-lisp): Don't make $(axiom_build_bindir) here. Pass target tp $(MAKE). (all-boot): Likewise. (all-lib): Don't make $(OUT) here. Pass target to $(MAKE). * Makefile.in: Regenerate. src/boot/ 2007-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (BOOTSYS_FOR_TARGET): Remove. (stamp): Update prerequisite. ($(axiom_build_bindir)/bootsys$(EXEEXT)): Rename from $(BOOTSYS_FOR_TARGET). (%/.started): Rename from mk-statge0-dir. Tidy. (stage0/%.clisp): Update prerequisite. (%/initial-env.$(FASLEXT)): Likewise. (mk-stage1-dir): Remove. (mk-stage2-dir): Likewise. (mostlyclean-local): Update. * Makefile.in: Regenerate. src/lib/ 2007-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet ($(axiom_target_libdir)/libspad.la): Remove prerequisite mk-target-libdir. (mk-target-libdir): Remove. * Makefile.in: Regenerate. src/lisp/ 2007-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet ($(OUT)/lisp$(EXEEXT)): Create $(OUT) directory before installing lisp executable. * Makefile.in: Regenerate.
2007-08-14Initial population.dos-reis1-0/+339
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-27 16:22:29 +0000