open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2008-07-25	2008-07-24 Gabriel Dos Reis <gdr@cs.tamu.edu>	dos-reis	1	-3/+27
	* interp/scan.boot: Tidy. * interp/ptrees.boot: Define AST for type schemes. * interp/cparse.boot (npType): Parse type schemes. (npQuantifierVariable): New. (npADD): Accept only monotypes. * interp/pf2sex.boot (pf2Sex1): Handle type schemes. (pfQuantified2Sex): New. 2008-07-23 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/cparse.boot (npMonoType): Rename from npType.
2008-05-08	* boot/translator.boot (bpOutItem): Handle namespace declaration.	dos-reis	1	-2/+1
	Update all boot files to use `namespace' instead of `)package'. * interp/: Likewise.
2008-04-23	* boot/ast.boot: Tidy.	dos-reis	1	-1/+1
	* boot/includer.boot: Likewise. * boot/parser.boot: Likewise. * boot/pile.boot: Likewise. * boot/scanner.boot: Likewise. * boot/tokens.boot: Likewise. * boot/translator.boot: Likewise. * boot/strap: Update Lisp translation. * lisp/core.lisp.in: Tidy.
2007-10-15	remove more pamphlets from interp/	dos-reis	1	-0/+2

2007-09-13	* Makefile.pamphlet (OBJS): Don't include ptrop.$(FASLEXT).	dos-reis	1	-0/+988
	(ptrees.$(FASLEXT)): New rule. (cparse.$(FASLEXT)): Likewise. * ptrop.boot.pamphlet: Move content to ptrees.boot.pamphlet. * ptrees.boot.pamphlet: Import posit, serror. * cparse.boot: New. Import ptrees. * cparse.boot.pamphlet: Move content to cparse.boot. Remove. * serror.boot: New. (pfSourceStok): Move to posit.boot. (npMissingMate): Move to cparse.boot. (npMissing): Likewise. (npCompMissing): Likewise. (npRecorverTrap): Likewise. (npListAndRecover): Likewise. (npMoveTo): Likewise. * serror.boot.pamphlet: Move content to serror.boot. Remove.