aboutsummaryrefslogtreecommitdiff
path: root/frontend/overloading.icl
AgeCommit message (Expand)AuthorFilesLines
2004-04-19remove TC; typesronny1-22/+6
2004-03-17reification of type definitionsronny1-1/+11
2003-10-17added limited support for uniqueness attributes in dynamic typesronny1-1/+6
2003-09-17removed unused var_heap parameterronny1-20/+20
2003-09-16removed boolean result from substituteType and substitute: theyronny1-5/+5
2003-09-16added function typesronny1-6/+44
2003-09-16code cleanup: introduced records for info and state parametersronny1-138/+159
2003-09-15removed exported type definitions from icl moduleronny1-44/+4
2003-08-22also expand synonym types in dynamics for TAS by reusing the TA coderonny1-7/+2
2003-08-20removed unnecessary separate fields for universal variables,ronny1-6/+6
2003-08-19removed unused administrationsronny1-103/+45
2003-05-16renamed field names of type Ident in syntax treeronny1-107/+107
2003-02-10- bug fix: generate an error for abstract datatypes in dynamic typesmartijnv1-0/+3
2003-02-10- bug fix: error for abstract datatypes in dynamic types.martijnv1-19/+36
2003-02-07expand synonym types in dynamics when it's an inferred typeronny1-19/+21
2003-02-06- removed: unused argument 'symb_ident' of toTypeCodeExpressionmartijnv1-22/+22
2003-01-08Bug fix: uniqueness error in recordssjakie1-17/+18
2002-10-31Fix bug where wrong type code constructor was selected.ronny1-15/+16
2002-10-14new type code and type code constructor representationronny1-38/+97
2002-09-19bug fixed: check if overloading is solved in type codes, removed some unused ...ronny1-50/+26
2002-09-19major rewrite dynamicsronny1-139/+21
2002-07-22expand all type synonyms in dynamicsronny1-11/+17
2002-06-17removed ignored !'sjohnvg1-2/+2
2002-04-11support for generic type context like inalimarin1-10/+27
2002-04-04- removed strictness annotationsmartijnv1-2/+2
2002-04-03- collection of used type constructors in unify/coerce. There are two sources:martijnv1-18/+21
2002-03-25new implementation of genericsalimarin1-26/+30
2002-02-26Bug fix: Dictionary arguments were not passed correctly to other dictionariessjakie1-0/+12
2002-02-11- creation of {PV,UPV,UV}_Placeholder instead of P_laceholder. See predefmartijnv1-1/+1
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-38/+117
2002-02-04er worden nu universele type variabelen in de vorm van UP_laceHolder'smartijnv1-3/+7
2002-01-21bug fix: fold2St cannot deal with inifinite listsmartijnv1-4/+4
2002-01-17Bug fix: Scopes in dynamicssjakie1-6/+10
2001-12-20remove RWSDebug dependencyronny1-2/+0
2001-12-17solved multiple defined moduleIDs in letsmartijnv1-31/+42
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-2/+2
2001-12-05removed type from BasicExprjohnvg1-29/+25
2001-11-30store predefined identifiers in CAFjohnvg1-1/+2
2001-11-29different representation of selector kind in Selectionronny1-3/+3
2001-11-19Changes:martijnv1-1/+1
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-8/+4
2001-10-02Bug fixes: reference count analysis fixed,sjakie1-1/+1
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie1-14/+3
2001-09-13Two fixes: (1) error with missing type contextssjakie1-5/+8
2001-09-07Bug fix: Stop after an overloading error occurredsjakie1-27/+31
2001-09-06remove fun_index from FunDefjohnvg1-4/+4
2001-09-06removed usage of fun_indexalimarin1-2/+11
2001-08-31added code for strict and unboxed listsjohnvg1-71/+189
2001-08-27Universally quantified types addedsjakie1-7/+4
2001-08-27bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamicmartijnv1-8/+82
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 18:00:04 +0000