open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2008-01-20	* algebra/syntax.spad.pamphlet: Rename from algebra/syntax.spad.	dos-reis	1	-225/+0
	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.
2008-01-19	* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Now include	dos-reis	1	-2/+6
	SYNTAX.o * algebra/syntax.spad (buildSyntax$Syntax): Use CONS$Lisp to permit early bootstrap.
2008-01-16	Fix SF/1850071	dos-reis	1	-0/+6
	* algebra/syntax.spad (compound?$Syntax): New.
2008-01-15	* algebra/syntax.spad (autoCoerce$Syntax): Add overloads.	dos-reis	1	-5/+33
	* 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 possible	dos-reis	1	-12/+12
	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-10	Fix thinko	dos-reis	1	-1/+6

2007-12-12	* syntax.spad (case$Syntax): Add four overloads with flag	dos-reis	1	-26/+32
	parameters. Remove previous declaration. (conver$Syntax): Use cases to filter out erroneous input. (getOperator$Syntax): Remove dead code.
2007-12-12	* syntax.spad (nil?$Syntax): New predicate.	dos-reis	1	-0/+6

2007-12-07	* syntax.spad (Syntax): Add explicit conversion functions from	dos-reis	1	-4/+32
	Syntax to Integer, DoubleFloat, Symbol, and String.
2007-12-06	* syntax.spad (Syntax): Conversions to Integer, DoubleFloat,	dos-reis	1	-17/+32
	Symbol, and String are not implicit. (case$Syntax): New function. (getOperator$Syntax): Adjust.
2007-12-02	* syntax.spad (buildSyntax): Overload on first argument type.	dos-reis	1	-1/+7

2007-11-13	src/algebra/	dos-reis	1	-0/+121
	2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (SYNTAX.NRLIB/code.$(FASLEXT)): New rule. (axiom_algebra_layer_14): Include SYNTAX.o. * syntax.spad: New algebra file. * domain.spad (Domain$reify): New. src/share/ 2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/browse.daase: Update. * algebra/category.daase: Likewise. * algebra/compress.daase: Likewise. * algebra/interp.daase: Likewise.