Age | Commit message (Collapse) | Author | Files | Lines |
|
* interp/g-util.boot: Expand it.
* algebra/syntax.spad.pamphlet (Identifer): Now satisfies
CoercibleTo String.
|
|
* interp/g-util.boot: Expand it.
* algebra/aggcat.spad.pamphlet: Cleanup.
* algebra/any.spad.pamphlet: Likewise.
* algebra/boolean.spad.pamphlet: Likewise.
* algebra/data.spad.pamphlet: Likewise.
* algebra/domain.spad.pamphlet: Likewise.
* algebra/files.spad.pamphlet: Likewise.
* algebra/laurent.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: Likewise.
* algebra/mappkg.spad.pamphlet: Likewise.
* algebra/ore.spad.pamphlet: Likewise.
* algebra/padic.spad.pamphlet: Likewise.
* algebra/pattern.spad.pamphlet: Likewise.
* algebra/sex.spad.pamphlet: Likewise.
* algebra/stream.spad.pamphlet: Likewise.
* algebra/string.spad.pamphlet: Likewise.
* algebra/syntax.spad.pamphlet: Likewise.
* algebra/table.spad.pamphlet: Likewise.
|
|
* algebra/syntax.spad.pamphlet: Clean up.
* algebra/variable.spad.pamphlet: Likewise.
* algebra/ystream.spad.pamphlet: Likewise.
|
|
* 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.
|
|
|
|
|
|
|
|
(SpadAstExports): Add case for StepAst.
(SpadAst): Implement.
|
|
* algebra/syntax.spad.pamphlet (ParameterAst): New.
(HeadAst): Use it.
* testsuite/interpreter/sf-2893009.input: Likewise.
* testsuite/interpreter/sf-2893009.spad: New.
|
|
|
|
parameterized by the constructor category.
|
|
|
|
* algebra/syntax.spad.pamphlet (SpadAst): Fix typo.
|
|
|
|
|
|
* interp/compiler.boot (compQuote): Use the target mode if appropriate.
* interp/i-spec2.boot (upQUOTE): Likewise.
* algebra/syntax.spad.pamphlet: Use Identifier in lieu of Symbol.
|
|
Branch to improve reflection.
r12493@gauss: gdr | 2008-12-20 23:29:51 -0600
Add domain representations for constructors.
r12494@gauss: gdr | 2008-12-21 14:27:37 -0600
Consolidate constructor domains.
r12502@gauss: gdr | 2008-12-22 20:36:21 -0600
Constructors are values.
r12504@gauss: gdr | 2008-12-25 13:58:01 -0600
r12505@gauss: gdr | 2008-12-25 18:48:04 -0600
Commit ChangeLog.
|
|
* 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.
|
|
s-expressions.
* algebra/sex.spad.pamphlet (SExpression): Print strings as
String.
|
|
Instantiate src/hyper/presea.
|
|
RetractableTo Integer, RetractableTo DoubleFloat, RetractableTo
Symbol, and RetractableTo String.
|
|
|
|
|
|
|
|
syntax domains.
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADAST.
* share/algebra: Update algebra databases.
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add
SPADXPT. Update dependency rules.
* share/algebra: Update algebra databases.
|
|
* algebra/Makefile.pamphlet: Add dependency rules for syntax
domains.
* algebra/exposed.lsp.pamphlet: Expose more syntax domains.
|
|
* algebra/syntax.spad.pamphlet: Add more syntax domains.
* algebra/exposed.lsp.pamphlet: Expose more syntax object domains.
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add more
syntax object files.
|
|
* algebra/syntax.spad.pamphlet (SpadSyntaxCategory): Add
pretty-printer.
(HeadAst): Use Identifier.
(TypeAst,MappingAst,ImportAst,SignatureAst,AttributeAst,JoinAst,
IfAst,RepeatAst,WhileAst,InAst,CollectAst,ConstructAst,
ExitAst,ReturnAst,SequenceAst,LetAst,PretendAst,CoerceAst,
RestrictAst,CallAst,SegmentAst): New domains.
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add
TYPEAST, IMPTAST, MAPPAST, ATTRAST, JOINAST, IFAST, RPTAST
WHILEAST, INAST, CLLCAST, LSTAST, EXITAST, RETAST, SEGAST,
PRTDAST, CRCAST, LETAST.
* share/algebra: Update databases.
|
|
(Identifier): Likewise.
(Signature): Tidy.
* algebra/exposed.lsp.pamphlet: Expose IDENT and LITERAL.
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add
LITERAL and IDENT.
(user-stamp): Don't depend directly on bootstrap-stamp.
* share/algebra/: Update databases.
|
|
|
|
(HeadAst): Likewise.
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_9): Add SIG.
* algebra/syntax.spad.pamphlet (Signature): New.
|
|
* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of
SetCategory.
(Domain): Likewise.
* share/algebra: Update databases.
* testsuite/interpreter/aw-428.input: New.
|
|
|
|
SetCategory. Implement equality.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Move
BASTYPE.o from layer 3 to here. Move SYNTAX.o from here to layer 1.
(axiom_algebra_layer_1): Move CTROCALL.o to layer 2.
* share/algebra: Update database.
|
|
* 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.
|
|
Add a new domain for constructor instantiation form.
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include
CTORCALL.o
(SYNTAX.NRLIB/code.$(FASLEXT)): Remove rule. Now implicit.
* share/algebra: Update databases.
|