aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2008-01-15 * algebra/syntax.spad (autoCoerce$Syntax): Add overloads.dos-reis5-6/+57
* interp/compiler.boot (coerceExtraHard): Always coerce by autoCoerce. * testsuite/interpreter/case.spad: Likewise. * testsuite/interpreter/case.input: New.
2008-01-14Daily bumpdos-reis3-11/+11
2008-01-14 * interp/compiler.boot (compSymbol): Don't handle possibledos-reis13-9841/+26057
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-reis4-5/+17
* 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-reis4-1/+19
* 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-reis2-1/+7
Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/bags.spad.pamphlet (Stack$map!): Cache the result in the underlying reference.
2008-01-13Daily bumpdos-reis3-11/+11
2008-01-13commit forgotten filedos-reis1-0/+4
2008-01-11daily bumpdos-reis3-11/+11
2008-01-11 * interp/msg.boot (getStFromMsg): Fix typo.dos-reis2-1/+5
2008-01-10Daily bumpdos-reis3-11/+11
2008-01-10Fix thinkodos-reis2-1/+11
2008-01-08Disable highlighting on Win32dos-reis3-8/+22
2008-01-08 * boot/Makefile.pamphlet (AXIOM_LOCAL_LISP): Use Lisp image with Cdos-reis9-23/+71
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-reis5-9/+62
2008-01-07 * sman/sman.c: Remove debug and dead codes.dos-reis2-92/+17
2008-01-06 * driver/main.c (main) [__WIN32__]: Fix off-by-one thinko.dos-reis5-15/+19
2008-01-052008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis13-299/+489
* 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-reis25-1701/+1701
2007-12-28(no commit message)dos-reis3-3/+3
2007-12-28update AXIOM_SRC_TARGETSdos-reis2-2/+2
2007-12-28Don't generate Makefile.in automatically.dos-reis2-6/+9
2007-12-27Remove more Makefile pamphlets and other leftover.dos-reis23-2592/+145
2007-12-27Remove src/bookletsdos-reis8-24/+5
2007-12-27Remove booklets directorydos-reis6-2890/+4
2007-12-27Update TODO listdos-reis1-0/+5
2007-12-27Remove more Makefile pamphletsdos-reis35-1733/+399
2007-12-27Don't use pamphlet for src/lisp/Makefiledos-reis6-164/+42
2007-12-27Daily bumpdos-reis3-11/+11
2007-12-27Clarify build and installation instructions.dos-reis1-9/+12
2007-12-19Test commit from windows boxdos-reis1-0/+2
2007-12-19 * nruncomp.boot (deltaTran): Fix thinko; handle the case where thedos-reis5-11/+17
domain of computation is the add form.
2007-12-18 * nruncomp.boot: Remove dead code.dos-reis2-46/+5
2007-12-16 SF/1850100dos-reis2-0/+17
* bags.spad.pamphlet (parts$Stack): Implement. (map$Stack): Likewise. (map!$Stack): Likewise.
2007-12-16 * nruncomp.boot (NOTES): Encode quasiquoted values too.dos-reis7-21/+44
($lookupDefaults): Define. (newLookupInDomain): Look up in the add-chain first. (newLookupInCategories): Likewise. (lazyMatch): Quasiquote is now like a Mapping. (newExpandLocalTypeForm): Quasiquote is no longer like QUOTE. * nrungo.boot (lookupInDomainAndDefaults): New. (compiledLookup): Use it.
2007-12-16Revert previous accidental commit.dos-reis13-26/+52
2007-12-16Daily bumpdos-reis13-52/+26
2007-12-16 * nruncomp.boot (buildFunctor): Use $NRTbase instead of hardcodeddos-reis2-7/+14
constant 6. (NRTcheckVector): Likewise. (deepChaseInferences): Likewise.
2007-12-15Daily bumpdos-reis3-11/+11
2007-12-14 * nruncomp.boot (deltaTran): Use NRTaddIndex.dos-reis2-13/+16
(deltaTran): Likewise. (genDeltaEntry): Likewise. (genDeltaSpecialSig): Likewise. (NRTassignCapsuleFunctionSlot): Likewise. (genSlotSig): Likewise. (NRTassocIndexAdd): Remove.
2007-12-13 * makeGraph.c.pamphlet (discardGraph): Fix thinko.dos-reis2-1/+5
2007-12-13 * c-util.boot (isAlmostSimple): A `case' expresion with a simpledos-reis2-0/+6
identified as first operand is a simple-expression.
2007-12-13 * parse.boot: Register parsers by name, not by pointers.dos-reis3-39/+43
2007-12-12 * define.boot (compDefineFunctor1): Don't set $NRTbase here.dos-reis5-3/+13
* nruncomp.boot ($NRTbase): Define as a constant. * setq.lisp: Don't set it.
2007-12-12 * buildom.boot: Use $OutputForm instead of $Expressiondos-reis3-15/+23
throughout. * compiler.boot (compAtom): Use $OutputForm instead of $Expression. (compSymbol): Likewise. (outputComp): Likewise.
2007-12-12 * domain.spad (showSummary$Domain): New.dos-reis2-1/+14
2007-12-12Daily bump.dos-reis3-11/+11
2007-12-12 * syntax.spad (case$Syntax): Add four overloads with flagdos-reis2-26/+39
parameters. Remove previous declaration. (conver$Syntax): Use cases to filter out erroneous input. (getOperator$Syntax): Remove dead code.
2007-12-12 * compiler.boot (comp3): Use isQuasiquote.dos-reis13-86/+268
(compSymbol): Use condition type view for non Union objects. (getUniqueCaseView): New. Subroutine of compSymbol. (compForm2): Don't infer type for flag parameter through unique compilcation. (checkCallingConvention): New. (compileQuasiquote): coerce, don't convert. (compCase1): Handle non Union type object through modemap selection. (maybeSpliceMode): New. Subroutine of compCase1. Register special form compiler with their names, not pointers. * define.boot (candidateSignatures): New. (hasSigInTargetCategory): Use it. Tidy. (checkAndDeclare): Use isQuasiquote. (spadCompileorSetq): Rename non atomic parameters before calling LISP compiler. * g-util.boot (quasiquote): New. (isQuasiquote): Likewise. * i-intern.boot (flagArguments): New. (signatureFromModemap): Likewise. (mkAtree3): Use them. Handle functions taking flag arguments. * i-object.boot (getFlagArgsPos): New. * i-spec1.boot (userDefinedCase): Now prepare form and hands back to bottomUp. (upcase): Adjust call to userDefinedCase. * modemap.boot (addDomain): Don't add flag domains to the environment. * nruncomp.boot (NRTencode): Handle flag values. (NRTgetLocalIndex1): Likewise. * nrunfast.boot (lazyMatch): Likewise. (newExpandLocalTypeForm): Likewise. * sys-constants.boot ($DummyFunctorNames): Include quasiquote constructor. * template.boot (NRTaddInner): Handle flag values.
2007-12-12 * syntax.spad (nil?$Syntax): New predicate.dos-reis5-11/+21
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-29 18:40:58 +0000