aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.icl
AgeCommit message (Expand)AuthorFilesLines
2001-07-12uniqueness attributes in backendronny1-1/+1
2001-06-27Sjaak: Improved dynamics, not yet finished.sjakie1-22/+40
2001-06-22boolean for explicit cases (cases that are specified by the programmer)ronny1-0/+3
2001-06-15Bug fix. Free type variables were referenced but not defined.martijnv1-0/+2
2001-06-15making kind checking phase compatible with dcl cachingmartinw1-0/+1
2001-06-11Bug fix with array updates. Removed redundant code. Adjusted unification algo...sjakie1-3/+3
2001-06-06removed code that prints the pointer in instance <<<johnvg1-2/+2
2001-05-30detect in 'postparse' when the definition module correspondingjohnvg1-1/+1
2001-05-30optimize array comprehensions,johnvg1-2/+2
2001-05-11moving all switch macros to new module "compilerSwitches"martinw1-9/+6
2001-05-10bug fixes:martijnv1-1/+1
2001-05-08added VI_Labelled_Empty and VI_LocalLetVar to VarInforonny1-0/+3
2001-05-03Flag to turn generics on and off (SupportGenerics), default offronny1-0/+1
2001-05-03added preliminary support for cons info by typealimarin1-1/+5
2001-04-25added support for constructors (for toString like usage),alimarin1-0/+2
2001-04-20bugfix: the compiler recognized f in the following example as a node andmartinw1-1/+1
2001-03-28added TVI_Normalizedmartijnv1-0/+1
2001-03-27uniqueness support is added to genericsalimarin1-3/+7
2001-03-27unfold all macros and local functions in macrosjohnvg1-20/+37
2001-03-23fixing several bugsmartinw1-1/+0
2001-03-20Sjaak: fixed inheritance bugs and strictness attributessjakie1-2/+8
2001-03-15Fixes to compile with 2.0alimarin1-2/+29
2001-03-13Generics are added, but are disabled.alimarin1-12/+70
2001-03-08Normalizingmartijnv1-1/+1
2001-03-02bugfix for specialisationsmartinw1-1/+1
2001-03-01- type files worden aangemaakt (buggy)martijnv1-1/+1
2001-02-23including porting facilitiesmartinw1-3/+0
2001-02-14just setting the switch for import syntax from "2.0" back to "1.3"martinw1-1/+1
2001-02-13delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" aftermartinw1-3/+3
2001-01-19uniqueness unification for types of functions that are generatedmartinw1-17/+12
2001-01-12New algorithm for explicit imports that also works with cyclic module depende...martinw1-9/+85
2000-11-01improved code for explicit imports,martinw1-1/+5
2000-10-23renumber icl function and macro indices when unfoldingjohnvg1-19/+16
2000-10-04-added position information for let bindings for better error messagesmartinw1-3/+14
2000-09-27optimizations and caching of dcl modules (without trans.icl)clean1-4/+26
2000-09-20now "list inferred types" can print attributes alsomartinw1-7/+9
2000-09-13added position information for better error messagesmartinw1-4/+8
2000-09-13bug fix: error in existentional typessjakie1-0/+2
2000-08-18dynamic type bug fixed; changes to support theorem provermartijnv1-1/+6
2000-08-15improved typing error messages: type variables are printed like "a" insteadmartinw1-0/+39
2000-08-10added position information to case defaults to improve type error messagesmartinw1-4/+14
2000-08-09added position information to case alternatives and changed the typingmartinw1-1/+6
2000-08-07removing superfluous constructormartinw1-1/+0
2000-08-01improving error messagesmartinw1-2/+8
2000-07-10Improved compatibility with Maarten's Theorem Prover Sourcesclean1-1/+2
2000-06-15update of dictionary typessjakie1-2/+4
2000-06-05enabled higher order function elimination also for functions (producers)martinw1-3/+4
2000-05-31readableizing error messagesmartinw1-4/+4
2000-05-30fixed bugs; partially implemented type dependent functionsmartijnv1-7/+11
2000-05-22improved dynamicssjakie1-1/+2
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 20:06:18 +0000