open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2009-06-17	* algebra/domain.spad.pamphlet: ConstructorCall is now	dos-reis	1	-9/+9
	parameterized by the constructor category.
2009-06-11	* algebra/: Remove quotes from operator namaes in signatures.	dos-reis	1	-2/+2

2009-06-07	* algebra/domain.spad.pamphlet (DomainTemplate): New.	dos-reis	1	-2/+75
	(FunctorData): Likewise. (functorData$DomainConstructor): Likewise.
2009-05-21	* algebra/catdef.spad.pamphlet (before?$SetCategory): New.	dos-reis	1	-1/+1

2009-04-27	* algebra/domain.spad.pamphlet (Constructor): Use Identifier.	dos-reis	1	-2/+1

2009-02-09	Tidy FunctionDescriptor	dos-reis	1	-1/+1

2009-02-02	* algebra/domain.spad.pamphlet (FunctionDescriptor): New.	dos-reis	1	-1/+62
	(OverloadSet): Likewise. (operations$ConstructorCategory): Likewise. * share/algebra: Update databases.
2009-01-28	* algebra/domain.spad.pamphlet (findConstructor$Constructor): New.	dos-reis	1	-1/+9

2008-12-26	r12485@gauss: gdr \| 2008-12-17 16:26:21 -0600	dos-reis	1	-28/+228
	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.
2008-10-09	* algebra/domain.spad.pamphlet (ConstructorKinid): New domain.	dos-reis	1	-1/+58
	(Constructor): Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include CTORKIND. (axiom_algebra_layer_user): Include CTOR.
2008-08-30	More explicit import	dos-reis	1	-0/+4

2008-07-03	Fix AW/428	dos-reis	1	-2/+5
	* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of SetCategory. (Domain): Likewise. * share/algebra: Update databases. * testsuite/interpreter/aw-428.input: New.
2008-02-19	* algebra/variable.spad.pamphlet (AnonymousFunction): Add new	dos-reis	1	-0/+109
	functions `parameters' and `body'. * algebra/domain.spad.pamphlet: Rename from algebra/domain.spad. (Category): New category. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include CATEGORY.o. (DOMAIN.NRLIB/code.$(FASLEXT)): Remove rule. * interp/trace.boot (transTraceItem): Use $LangSupportTypes. * interp/sys-constants.boot ($None): New. ($Type): Likewise. ($LangSupportTypes): Likewise. * interp/parse.boot (parseHas): Use $LangSupportTypes. (parseHasRhs): Likewise. * interp/i-spec2.boot (upLETtype): Use conceptualType. (uptypeOf): Likewise. (upwhere): Likewise. (typeOfType): Remove. * interp/i-spec1.boot (isDomainValuedVariable): Variables with type Category and Type are domain valued too. * interp/i-output.boot (output): Special case only Mode and Type. * interp/i-funsel.boot (selectMms): Don't ignore modemaps with category parameters. * interp/i-coerce.boot (canCoerce1): Test for Category instead of SubDomain Domain. (canCoerceFrom0): Use $None and $Any. (absolutelyCannotCoerce): Use $None. (coerceInteractive): Use $LangSupportTypes. (coerceInt1): Use $Any. * interp/i-analy.boot (conceptualType): New. (bottomUpType): Use it. * interp/clammed.boot (isValidType): Use $LangSupportTypes. * interp/g-cndata.boot (isNameOfType): Likewise. * interp/category.boot (Category): Remove hacky definition. * interp/buildom.boot ($noCategoryDomains): Domain now has a Lisplib.