aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2000-10-04-added position information for let bindings for better error messagesmartinw13-253/+484
2000-10-04added new function to print function names like "c;102;13" as "comprehesion [...martinw2-1/+36
2000-10-04-added position information for let bindings for better error messagesmartinw3-69/+144
2000-10-03use DclCache typejohnvg1-1/+1
2000-10-03pass dcl cache using DclCache typejohnvg2-81/+76
2000-10-02comment before import RWSDebugronny1-3/+4
2000-10-02bug fix: generate 'in' abc instruction even when there are no parametersjohnvg1-4/+1
2000-10-02removed ---> operatormartijnv1-2/+2
2000-09-29fixed call of frontEndInterfaceclean1-6/+6
2000-09-29pass list_inferred_types flagclean1-1/+1
2000-09-27removing trace statementmartinw1-1/+1
2000-09-27making compiler self compatiblemartinw3-60/+91
2000-09-27*** empty log message ***martinw1-1/+2
2000-09-27caching of dcl modules (added main_dcl_module_n)clean2-17/+28
2000-09-27caching of dcl modules, return unique heapclean4-424/+531
2000-09-27caching of dcl modulesclean1-29/+93
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean35-702/+2190
2000-09-26bugfix: list inferred types printed types like f :: .[.a] instead ofmartinw2-13/+25
2000-09-26removing stuff that once dealt with dynamicsmartinw1-49/+14
2000-09-26Type dependent function implementedmartijnv1-204/+282
2000-09-26bugfixmartinw1-1/+1
2000-09-25fix clean 2.0 preprocessor hack syntaxclean2-2/+2
2000-09-25optimize memory allocation of nilPtrclean1-1/+5
2000-09-25added arrayCopyBeginclean2-0/+30
2000-09-22error messages become more and more beautifulmartinw1-69/+93
2000-09-22fixed bug in type unificationmartinw1-6/+10
2000-09-21now "list inferred types" can print attributes alsomartinw1-1/+2
2000-09-20*** empty log message ***martinw1-2/+4
2000-09-20now "list inferred types" can print attributes alsomartinw10-53/+424
2000-09-20changed signature of readPtr from "unique" into "possibly unique"martinw2-2/+2
2000-09-20improving error messages:martinw1-9/+31
2000-09-20improving bufix from revision 1.39martinw1-8/+3
2000-09-20new Bag type: :: Bag x = Pair (Bag x) (Bag x) | Single x | Emptymartinw2-0/+35
2000-09-20no messagemartijnv1-103/+282
2000-09-13added position information for better error messagesmartinw5-33/+65
2000-09-13fixed following bug:martinw2-16/+13
2000-09-13bug fix: error in existentional typessjakie2-4/+13
2000-09-12small bugfixmartinw1-0/+1
2000-09-12small bugfixmartinw1-0/+9
2000-08-29adjusted treatment of lazy and strict array functionssjakie2-12/+36
2000-08-21no messagemartijnv2-7/+38
2000-08-18*** empty log message ***martinw1-0/+2
2000-08-18dynamic type bug fixed; changes to support theorem provermartijnv5-10/+46
2000-08-16restoring revision 1.35, revision 1.36 was unintendedmartinw1-190/+2
2000-08-16ConsVariables were not handled correctly within improved type error messagesmartinw4-20/+233
2000-08-15adding "list inferred types" optionmartinw1-2/+2
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw17-226/+434
2000-08-10added position information to case defaults to improve type error messagesmartinw9-52/+122
2000-08-09added position information to case alternatives and changed the typingmartinw6-96/+281
2000-08-07removing superfluous constructormartinw2-2/+0
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 16:14:21 +0000