aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/any.spad.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2010-05-30 * interp/c-util.boot (middleEndExpand): Tidy.dos-reis1-4/+4
* interp/g-util.boot (expandToVMForm): Likewise. (expandStore): Refine store to pair components. * algebra/any.spad.pamphlet (Scope): Use builtin operators. (Environment): Likewise. * algebra/domain.spad.pamphlet (FunctionDescriptor): Likewise. (ConstructorCall): Likewise. (FunctorData): Likewise. (OperatorSignature): Likewise. (Category): Likewise. (Domain): Likewise. * algebra/integer.spad.pamphlet (Integer): Likewise. (NonNegativeInteger): Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * algebra/syntax.spad.pamphlet (Syntax): Likewise.
2010-03-18 * algebra/any.spad.pamphlet (Property): Tidy.dos-reis1-15/+20
(Environment): Likewise. Rename setProperty! to putProperty. Rename setProperties! to putProperties.
2009-10-15 * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.dos-reis1-1/+1
2009-06-15 * algebra/any.spad.pamphlet (Any): Remove domainOf, objectOf, anddos-reis1-42/+11
showTypeInOutput. Tidy. * algebra/fortran.spad.pamphlet: Coerce Any objects to Output; don't use objectOf.
2009-06-14 Add support for existential type recovery.dos-reis1-2/+9
* interp/compiler.boot (compRecoverDomain): New. Split from compRecoverGuard. (compRecoverGuard): Split. Handle existential type recovery. (compScheme): New. Register as compiler. * interp/g-opt.boot (optLET*): New. Turn into LET-form if appropriate. Register as backend transformer. * interp/fnewmeta.lisp (|PARSE-Scheme|): New. (|PARSE-Quantifier|): Likewise. (|PARSE-QuantifiedVariableList|): Likewise. (|PARSE-QuantifiedVariable|): Likewise. * interp/metalex.lisp (KEYWORDS): Add 'forall' and 'exist' as new keywords. * interp/newaux.lisp: Register parser for expression schemes. * algebra/any.spad.pamphlet (=$Any): If the underlying domain has BasicType, use that equality operator. (coerce$Any): If the underlying domain has CoercibleTo OutputForm then use it.
2009-06-13 * algebra/any.spad.pamphlet (AnyFunctions1): Remove `pretend'dos-reis1-5/+12
shenanigans. Use is-case pattern matching. * interp/g-opt.boot (varIsAssigned): New. (canInlineVarDefinition): New. (optLET): Use it to inline functionally used local variables. Register as backend optimizer.
2009-06-11 * algebra/: Remove quotes from operator namaes in signatures.dos-reis1-2/+2
2009-05-16 * algebra/any.spad.pamphlet: Tidy. Redeuce Lisp usage.dos-reis1-28/+21
2009-05-14 * algebra/any.spad.pamphlet (RuntimeValue): New domain.dos-reis1-0/+20
* algebra/Makefile.pamphlet ($(OUT)/RTVALUE.$(FASLEXT)): New rule.
2009-04-19 * algebra/any.spad.pamphlet (Binding): Define Rep. Tidy.dos-reis1-40/+37
(Contour): Likewise. (findBinding$Contour): Now return Maybe Binding. (findBinding$Scope): Likewise. (getProperties$Environment): Just return List Binding. (interactiveEnv$Environment): New.
2009-02-23 * interp/compiler.boot (compAtom): Don't interpret 'nil' as emptydos-reis1-13/+9
vector. (compSymbol): Don't interpret 'true' and 'false' as Boolean constants if domain Boolean is not in scope. * algebra/any.spad.pamphlet (Property): Tidy. * algebra/asp.spad.pamphlet (Asp34): Likewise. * algebra/functions.spad.pamphlet (BasicFunctions): Likewise. * algebra/lodop.spad.pamphlet (OppositeMonogenicLinearOperator): Likewise. * algebra/groebsol.spad.pamphlet: Import Boolean.
2009-01-07Fix documentationdos-reis1-6/+7
2009-01-07 * algebra/any.spad.pamphlet (Maybe): Rework.dos-reis1-22/+19
2008-08-30More explicit importdos-reis1-0/+1
2008-08-29Add more explicit importsdos-reis1-0/+35
2008-08-29 * algebra/aggcat.spad.pamphlet: Import used domains.dos-reis1-0/+9
* algebra/any.spad.pamphlet: Likewise. * algebra/catdef.spad.pamphlet: Likewise. * algebra/drawopt.spad.pamphlet: Likewise. * algebra/equation2.spad.pamphlet: Likewise. * algebra/ituple.spad.pamphlet: Likewise. * algebra/mkfunc.spad.pamphlet: Likewise. * algebra/omdev.spad.pamphlet: Likewise. * algebra/out.spad.pamphlet: Likewise. * algebra/plot.spad.pamphlet: Likewise. * algebra/print.spad.pamphlet: Likewise. * algebra/seg.spad.pamphlet: Likewise. * algebra/stream.spad.pamphlet: Likewise. * algebra/system.spad.pamphlet: Likewise.
2008-08-23 * algebra/any.spad.pamphlet (Maybe): New domain.dos-reis1-3/+51
* algebra/exposed.lsp.pamphlet: Expose it. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include MAYBE.
2008-07-11 * interp/compiler.boot (compQuote): Restrict quoting to literaldos-reis1-4/+6
symbols. * algebra/any.spad.pamphlet: Use nil for empty list. * algebra/boolean.spad.pamphlet: Fix quoting.
2008-01-22 * algebra/any.spad.pamphlet (empty$Scope): Use literal empty list.dos-reis1-2/+2
(empty$Environment): Likewise.
2008-01-20 * algebra/syntax.spad.pamphlet (ElaboratedExpression): New.dos-reis1-12/+12
* algebra/any.spad.pamphlet: Rename ObjectProperty to Property. * algebra/exposed.lsp.pamphlet: Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_5): Include ELABEXPR.o * share/algebra: Update databases.
2008-01-19 * algebra/any.spad.pamphlet (getProperty$Environment): New.dos-reis1-2/+30
(setProperty!$Environment): Likewise. (getProperties$Environment): Likewise. (setProperties!$Environment): Likewise.
2008-01-19 * interp/construc.lisp (|loadLibNoUpdate|): Fix thinko in initialdos-reis1-1/+220
value for empty environments. * interp/database.boot (rebuildCDT): Likewise. * interp/i-map.boot (addDefMap): Likewise. (rewriteMap0): Likewise. (rewriteMap1): Likewise. (compileDeclaredMap): Likewise. (analyzeUndeclaredMap): Likewise. * interp/i-spec1.boot: Likewise. * interp/i-syscmd.boot (reportOperations): Likewise. * interp/i-toplev.boot (interpret): Likewise. * interp/lisplib.boot (loadLib): Likewise. (loadLibNoUpdate): Likewise. * interp/setvars.boot (resetWorkspaceVariables): Likewise. * interp/spad.lisp ($e): Move definition to sys-globals.boot. ($env): Likewise. * interp/sys-globals.boot ($e): Define here. ($env): Likewise. * algebra/any.spad.pamphlet (ObjectProperty): New. (Binding): Likewise. (Contour): Likewise. (Scope): Likewise. (Environment): Likewise. * algebra/exposed.lsp.pamphlet: Expose ObjectProperty, Binding, Contour, Scope, and Environment. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include OBJPROP.o. (axiom_algebra_layer_1): Include BINDING.o (axiom_algebra_layer_2): Include CONTOUR.o (axiom_algebra_layer_3): Include SCOPE.o (axiom_algebra_layer_4): Include ENV.o * share/algebra: Update database.
2007-08-14Initial population.dos-reis1-0/+241