compiler - Fork of the Clean compiler for experimenting with new features

Age	Commit message (Expand)	Author	Files	Lines
2001-09-06	remove 'dcl_is_cashed'	johnvg	1	-23/+17
2001-09-06	added command line flag to enable generics	alimarin	1	-10/+23
2001-08-31	use ArrayAndListInstances instead of range of function indices	johnvg	1	-13/+32
2001-07-19	Added "curried" arrow types (->) and ((->) a)	alimarin	1	-3/+12
2001-07-12	made compilable with Clean 2.0 by introducing a typed local function	ronny	1	-6/+7
2001-06-28	disable PA_bug	johnvg	1	-4/+4
2001-06-15	making kind checking phase compatible with dcl caching	martinw	1	-7/+18
2001-06-14	support for module system is added to genercis	alimarin	1	-10/+43
2001-05-11	checking the kinds of all function-, instance-, class- and member-types	martinw	1	-4/+6
2001-05-08	split convertcases in two modules (convertcases and convertimportedtypes)	ronny	1	-1/+1
2001-05-08	renamed convertCasesOfFunctionsIntoPatterns to convertCasesOfFunctions	ronny	1	-1/+1
2001-05-03	Flag to turn generics on and off (SupportGenerics), default off	ronny	1	-1/+1
2001-04-25	added support for constructors (for toString like usage),	alimarin	1	-1/+6
2001-03-22	Sjaak: removed call to showComponents	sjakie	1	-1/+1
2001-03-20	Sjaak: fixed inheritance bugs and strictness attributes	sjakie	1	-1/+1
2001-03-15	compiler frontend without writing tcl-files	martijnv	1	-2/+2
2001-03-13	Generics are added, but are disabled.	alimarin	1	-5/+26
2001-03-08	Normalizing	martijnv	1	-2/+2
2001-03-01	- type files worden aangemaakt (buggy)	martijnv	1	-17/+22
2001-01-19	uniqueness unification for types of functions that are generated	martinw	1	-2/+2
2000-10-25	return cache if compilation stops after a certain phase (for Maarten)	johnvg	1	-7/+7
2000-10-23	renumber icl function and macro indices when unfolding	johnvg	1	-5/+9
2000-09-27	removing trace statement	martinw	1	-1/+1
2000-09-27	optimizations and caching of dcl modules (without trans.icl)	clean	1	-80/+104
2000-09-20	now "list inferred types" can print attributes also	martinw	1	-1/+1
2000-08-21	no message	martijnv	1	-7/+35
2000-08-15	improved typing error messages: type variables are printed like "a" instead	martinw	1	-5/+6
2000-08-01	improving error messages	martinw	1	-1/+1
2000-07-10	Improved compatibility with Maarten's Theorem Prover Sources	clean	1	-47/+88
2000-07-04	labels global function names without ";n" extension	clean	1	-0/+2
2000-07-03	no message	clean	1	-1/+1
2000-07-03	no message	clean	1	-1/+1
2000-06-16	small changes to reduce memory allocation	clean	1	-0/+7
2000-04-26	Merge Martin/ Sjaak & Ronny branches	clean	1	-5/+5
2000-04-26	changes to make compiler compatible with itself	martinw	1	-24/+12
2000-03-24	bugfixes	martinw	1	-1/+2
2000-03-20	* empty log message *	sjakie	1	-6/+14
2000-02-15	bug fix (unboxed arrrays of records)	ronny	1	-1/+1
2000-02-09	strictness annoation for fe_components	ronny	1	-4/+3
2000-02-07	commit for Sjaak by RWS	sjakie	1	-3/+3
1999-11-24	unified main and frontend	ronny	1	-0/+184