aboutsummaryrefslogtreecommitdiff
path: root/frontend/overloading.icl
AgeCommit message (Expand)AuthorFilesLines
2008-04-09report an error if a type context is specified multiple times in a function typejohnvg1-5/+8
2007-04-13implement newtypejohnvg1-3/+136
2007-04-12implement {# and {! in array comprehensions that create a new arrayjohnvg1-0/+2
2007-04-11remove function updateDynamics, it is unused because over_infojohnvg1-42/+2
2007-04-11remove updateExpression instance for removed typejohnvg1-7/+0
2006-11-23fix bug that may occur if a TC class is used in a context of a class, thatjohnvg1-1/+1
2006-11-01allow TC to be used in the context of a class definition (e.g. class C a | TC a)johnvg1-22/+29
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 21:18:34 +0000