open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2011-05-01	* boot/tokens.boot: Don't rename append.	dos-reis	1	-4/+10
	* boot/parser.boot (bpTyping): Support universally quantified types. * boot/ast.boot: Rewrite APPEND as append. (%Forall): New AST node. * boot/translator.boot: Translate it.
2011-04-30	* boot/ast.boot (bfAppend): Write in full.	dos-reis	1	-2/+13
	* interp/ptrees.boot (pfAppend): Likewise.
2011-04-30	cleanup	dos-reis	1	-1/+10

2011-04-30	* interp/vmlisp.lisp (remove): Remove.	dos-reis	1	-6/+69
	(REMOVEQ, NREMOVEQ): Likewise. * boot/utility.boot (removeSymbol, removeScalar, removeValue) (remove): New. * boot/ast.boot (bfMDef): Use applySubst in lieu of SUBLIS.
2011-04-29	* boot/utility.boot (assocSymbol): New.	dos-reis	1	-1/+28
	(applySubst): Likewise. Export. * boot/ast.boot: Use it. Remove SUBLIS and SUBLISLIS. * interp/ax.boot: Likewise. * interp/br-con.boot: Likewise. * interp/br-op1.boot: Likewise. * interp/br-op2.boot: Likewise. * interp/br-prof.boot: Likewise. * interp/br-saturn.boot: Likewise. * interp/buildom.boot: Likewise. * interp/c-doc.boot: Likewise. * interp/c-util.boot: Likewise. * interp/cattable.boot: Likewise. * interp/compiler.boot: Likewise.
2011-04-22	* boot/tokens.boot: Don't translate setDifference.	dos-reis	1	-2/+22
	* boot/initial-env.lisp (SETDIFFERNECE): Remove. * boot/translator.boot (evalBootFile): Rename form EVAL-BOOT-FILE. * boot/utility.boot (setDifference): Define. * interp/unlisp.lisp (ListMemberQ?): Remove. (ListRemoveQ): Likewise. (AlistAssocQ): Likewise.
2011-04-22	more cleanup	dos-reis	1	-1/+24

2011-04-22	* boot/utility.boot (copyList): Define.	dos-reis	1	-1/+21
	(append!): Likewise. * boot/tokens.boot: Do not translate nconc.
2011-04-21	* boot/tokens.boot: Don't translate lastNode anymore.	dos-reis	1	-1/+14
	* boot/utility.boot (lastNode): Define.
2011-04-21	* boot/utility.boot (objectMember?): Don't rely non tail recursion	dos-reis	1	-5/+18
	removal. (reverse): Define. * boot/tokens.boot: Don't rename reverse anymore. * boot/ast.boot: Generate reverse forms instead of REVERSE.
2011-04-21	* boot/tokens.boot: Don't rename nreverse.	dos-reis	1	-1/+12
	* boot/utility.boot (reverse!): Define. * boot/parser.boot: Use reverse! instead of NREVERSE. * boot/ast.boot: Generate reverse! forms instead of NREVERSE.
2011-04-20	* interp/sys-utility.boot (substitute): Define.	dos-reis	1	-26/+39
	(substitute!): Likewise. * boot/utility.boot: Do not rely on tail recursion removal. * boot/tokens.boot: Don't translate substitute and substitute!. * boot/ast.boot (bfLp1): Tidy.
2011-04-20	more cleanup	dos-reis	1	-10/+27

2011-04-19	* boot/tokens.boot: charUpcase, charDowncase, stringUpcase,	dos-reis	1	-22/+12
	singDowncase, valueEq? are new builtin functions. * boot/ast.boot (bfMembr): Tidy.
2011-04-19	* interp/newfort.boot: Likewise.	dos-reis	1	-0/+44
	* interp/define.boot (orderBySubsumption): Fix thinko. * interp/boot-pkg.lisp: Use BOOTTRAN package. Don't import names individually. * boot/utility.boot: New. * boot/translator.boot (exportNames): Fix thinko. * boot/tokens.boot: Add charEq? and scalarEq? builtiin functions. * boot/ast.boot (bfMember): Generate call to symbolMember? for membership tests for symbols.