aboutsummaryrefslogtreecommitdiff
path: root/frontend/frontend.icl
AgeCommit message (Expand)AuthorFilesLines
2002-03-04Export proper new type of transformGroupsdiederik1-1/+10
2002-02-12removed useless strictness annotationsronny1-3/+3
2001-11-30store predefined identifiers in CAFjohnvg1-5/+5
2001-11-01pass strictness information from C to Clean, print strict exported and all ty...ronny1-0/+17
2001-10-19higher-order kinded types in genericsalimarin1-2/+11
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-97/+53
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-1/+0
2001-10-01pass file modification times from icl module and dcl modules to backendronny1-6/+6
2001-10-01Add fusion commandline flagdiederik1-6/+21
2001-09-24removed kind correctness checking modulesjakie1-4/+13
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-38/+46
2001-09-07module ownership commentronny1-0/+3
2001-09-06remove 'dcl_is_cashed'johnvg1-23/+17
2001-09-06added command line flag to enable genericsalimarin1-10/+23
2001-08-31use ArrayAndListInstances instead of range of function indicesjohnvg1-13/+32
2001-07-19Added "curried" arrow types (->) and ((->) a)alimarin1-3/+12
2001-07-12made compilable with Clean 2.0 by introducing a typed local functionronny1-6/+7
2001-06-28disable PA_bugjohnvg1-4/+4
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-7/+18
2001-06-14support for module system is added to genercisalimarin1-10/+43
2001-05-11checking the kinds of all function-, instance-, class- and member-typesmartinw1-4/+6
2001-05-08split convertcases in two modules (convertcases and convertimportedtypes)ronny1-1/+1
2001-05-08renamed convertCasesOfFunctionsIntoPatterns to convertCasesOfFunctionsronny1-1/+1
2001-05-03Flag to turn generics on and off (SupportGenerics), default offronny1-1/+1
2001-04-25added support for constructors (for toString like usage),alimarin1-1/+6
2001-03-22Sjaak: removed call to showComponentssjakie1-1/+1
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-1/+1
2001-03-15compiler frontend without writing tcl-filesmartijnv1-2/+2
2001-03-13Generics are added, but are disabled.alimarin1-5/+26
2001-03-08Normalizingmartijnv1-2/+2
2001-03-01- type files worden aangemaakt (buggy)martijnv1-17/+22
2001-01-19uniqueness unification for types of functions that are generatedmartinw1-2/+2
2000-10-25return cache if compilation stops after a certain phase (for Maarten)johnvg1-7/+7
2000-10-23renumber icl function and macro indices when unfoldingjohnvg1-5/+9
2000-09-27removing trace statementmartinw1-1/+1
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-80/+104
2000-09-20now "list inferred types" can print attributes alsomartinw1-1/+1
2000-08-21no messagemartijnv1-7/+35
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw1-5/+6
2000-08-01improving error messagesmartinw1-1/+1
2000-07-10Improved compatibility with Maarten's Theorem Prover Sourcesclean1-47/+88
2000-07-04labels global function names without ";n" extensionclean1-0/+2
2000-07-03no messageclean1-1/+1
2000-07-03no messageclean1-1/+1
2000-06-16small changes to reduce memory allocationclean1-0/+7
2000-04-26Merge Martin/ Sjaak & Ronny branchesclean1-5/+5
2000-04-26changes to make compiler compatible with itselfmartinw1-24/+12
2000-03-24bugfixesmartinw1-1/+2
2000-03-20*** empty log message ***sjakie1-6/+14
2000-02-15bug fix (unboxed arrrays of records)ronny1-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 20:32:24 +0000