aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Expand)AuthorFilesLines
2007-09-10rename NormalSelectorUniqueElementResult as UniqueSelectorUniqueElementResult,johnvg4-30/+40
2007-09-05use an integer instead of a string in GenTypeVarjohnvg2-17/+25
2007-09-05use bimapId instead of bimap{|*|} for variablesjohnvg2-18/+26
2007-09-04add more position information for error messages in generatorsjohnvg1-17/+15
2007-08-21make elements of array generators unique (for arrays with unique elements)johnvg1-4/+3
2007-04-19remove VI_Defined and VI_LocallyDefined because they are not used anymorejohnvg1-1/+0
2007-04-19remove unused field cons_arg_vars,johnvg6-39/+26
2007-04-18add alternative for NewTypePatterns in function checkMacrojohnvg1-0/+3
2007-04-18also compare NewTypePatternsjohnvg1-0/+2
2007-04-18also compare SK_NewTypeConstructor'sjohnvg1-13/+10
2007-04-13expand types if NO error has occurred, instead of if an error has occurredjohnvg1-1/+1
2007-04-13implement newtypejohnvg20-390/+887
2007-04-12implement {# and {! in array comprehensions that create a new arrayjohnvg8-52/+139
2007-04-12remove unused type Choicejohnvg2-4/+0
2007-04-12remove SwitchGenerics macrojohnvg3-39/+25
2007-04-11remove function updateDynamics, it is unused because over_infojohnvg3-81/+24
2007-04-11remove string in AP_Empty constructorjohnvg3-25/+25
2007-04-11rename field cons_index as cons_numberjohnvg5-11/+10
2007-04-11remove cons_index field in pattern in functions that do not use this fieldjohnvg1-6/+3
2007-04-11remove import of module checksupport, remove unused function: newFunctionjohnvg1-17/+1
2007-04-11remove import of module checksupportjohnvg4-6/+4
2007-04-11remove updateExpression instance for removed typejohnvg1-7/+0
2007-04-11remove <<< instance for removed typejohnvg1-7/+0
2007-04-11move some type definitions from checksupport.dcl to syntax.dcljohnvg2-123/+83
2007-04-02remove definition of TC in predef if dynamics are not enabled,johnvg3-46/+53
2007-03-28fix "not imported" error if StdArray or StdEnum needs to be importedjohnvg3-20/+25
2007-03-28fix module number test in function try_to_expand_synonym_type_in_main_dcl,johnvg1-17/+15
2007-03-28report an error if a generic case is defined using a type synonymjohnvg1-32/+38
2007-03-08pass two lists to function init_atype_vars,johnvg1-10/+8
2007-03-08pass two lists to functions init_type_vars and init_attr_vars,johnvg1-29/+21
2007-02-27add {#Int} and {#Real} for foreign exportjohnvg1-19/+12
2007-02-14implement qualified explicit importsjohnvg16-496/+1260
2007-02-14add space before and after @johnvg1-1/+1
2007-02-14remove unused codejohnvg1-22/+2
2007-02-06in checkExplicitImportCompleteness when checking whether a symbol is imported,johnvg2-36/+45
2007-01-30remove di_instances, because it is always []johnvg1-1/+1
2007-01-30remove di_instances, because it is always []johnvg3-10/+9
2007-01-29remove instances from ExplImpComponentNrs, because it is always []johnvg3-11/+10
2007-01-29rename super_components as components_importing_module orjohnvg1-20/+19
2007-01-29remove intermediate expl_imp_symbols_and_indices_in_components list ofjohnvg1-8/+17
2007-01-29replace list of booleans yielded by function search_expl_imp_symbol byjohnvg1-30/+20
2007-01-26optimize markExplImpSymbols by selecting explicit import info for thejohnvg1-12/+11
2007-01-12add support for strings in foreign exportjohnvg3-16/+26
2007-01-10add passing Reals using foreign exportjohnvg1-0/+2
2007-01-02prevent compiler crash if a macro with a non constructor application asjohnvg1-15/+11
2006-11-23fix bug that may occur if a TC class is used in a context of a class, thatjohnvg1-1/+1
2006-11-16report an error if an existential type is usedjohnvg1-6/+9
2006-11-06add var to exi_vars in function check_existential_var if an error occurs,johnvg1-1/+3
2006-11-01allow TC to be used in the context of a class definition (e.g. class C a | TC a)johnvg1-22/+29
2006-11-01fix convertTypeCode for TCE_Selector, required if TC is used in thejohnvg1-48/+62