Age | Commit message (Expand) | Author | Files | Lines |
2007-09-10 | rename NormalSelectorUniqueElementResult as UniqueSelectorUniqueElementResult, | johnvg | 4 | -30/+40 |
2007-09-05 | use an integer instead of a string in GenTypeVar | johnvg | 2 | -17/+25 |
2007-09-05 | use bimapId instead of bimap{|*|} for variables | johnvg | 2 | -18/+26 |
2007-09-04 | add more position information for error messages in generators | johnvg | 1 | -17/+15 |
2007-08-21 | make elements of array generators unique (for arrays with unique elements) | johnvg | 1 | -4/+3 |
2007-04-19 | remove VI_Defined and VI_LocallyDefined because they are not used anymore | johnvg | 1 | -1/+0 |
2007-04-19 | remove unused field cons_arg_vars, | johnvg | 6 | -39/+26 |
2007-04-18 | add alternative for NewTypePatterns in function checkMacro | johnvg | 1 | -0/+3 |
2007-04-18 | also compare NewTypePatterns | johnvg | 1 | -0/+2 |
2007-04-18 | also compare SK_NewTypeConstructor's | johnvg | 1 | -13/+10 |
2007-04-13 | expand types if NO error has occurred, instead of if an error has occurred | johnvg | 1 | -1/+1 |
2007-04-13 | implement newtype | johnvg | 20 | -390/+887 |
2007-04-12 | implement {# and {! in array comprehensions that create a new array | johnvg | 8 | -52/+139 |
2007-04-12 | remove unused type Choice | johnvg | 2 | -4/+0 |
2007-04-12 | remove SwitchGenerics macro | johnvg | 3 | -39/+25 |
2007-04-11 | remove function updateDynamics, it is unused because over_info | johnvg | 3 | -81/+24 |
2007-04-11 | remove string in AP_Empty constructor | johnvg | 3 | -25/+25 |
2007-04-11 | rename field cons_index as cons_number | johnvg | 5 | -11/+10 |
2007-04-11 | remove cons_index field in pattern in functions that do not use this field | johnvg | 1 | -6/+3 |
2007-04-11 | remove import of module checksupport, remove unused function: newFunction | johnvg | 1 | -17/+1 |
2007-04-11 | remove import of module checksupport | johnvg | 4 | -6/+4 |
2007-04-11 | remove updateExpression instance for removed type | johnvg | 1 | -7/+0 |
2007-04-11 | remove <<< instance for removed type | johnvg | 1 | -7/+0 |
2007-04-11 | move some type definitions from checksupport.dcl to syntax.dcl | johnvg | 2 | -123/+83 |
2007-04-02 | remove definition of TC in predef if dynamics are not enabled, | johnvg | 3 | -46/+53 |
2007-03-28 | fix "not imported" error if StdArray or StdEnum needs to be imported | johnvg | 3 | -20/+25 |
2007-03-28 | fix module number test in function try_to_expand_synonym_type_in_main_dcl, | johnvg | 1 | -17/+15 |
2007-03-28 | report an error if a generic case is defined using a type synonym | johnvg | 1 | -32/+38 |
2007-03-08 | pass two lists to function init_atype_vars, | johnvg | 1 | -10/+8 |
2007-03-08 | pass two lists to functions init_type_vars and init_attr_vars, | johnvg | 1 | -29/+21 |
2007-02-27 | add {#Int} and {#Real} for foreign export | johnvg | 1 | -19/+12 |
2007-02-14 | implement qualified explicit imports | johnvg | 16 | -496/+1260 |
2007-02-14 | add space before and after @ | johnvg | 1 | -1/+1 |
2007-02-14 | remove unused code | johnvg | 1 | -22/+2 |
2007-02-06 | in checkExplicitImportCompleteness when checking whether a symbol is imported, | johnvg | 2 | -36/+45 |
2007-01-30 | remove di_instances, because it is always [] | johnvg | 1 | -1/+1 |
2007-01-30 | remove di_instances, because it is always [] | johnvg | 3 | -10/+9 |
2007-01-29 | remove instances from ExplImpComponentNrs, because it is always [] | johnvg | 3 | -11/+10 |
2007-01-29 | rename super_components as components_importing_module or | johnvg | 1 | -20/+19 |
2007-01-29 | remove intermediate expl_imp_symbols_and_indices_in_components list of | johnvg | 1 | -8/+17 |
2007-01-29 | replace list of booleans yielded by function search_expl_imp_symbol by | johnvg | 1 | -30/+20 |
2007-01-26 | optimize markExplImpSymbols by selecting explicit import info for the | johnvg | 1 | -12/+11 |
2007-01-12 | add support for strings in foreign export | johnvg | 3 | -16/+26 |
2007-01-10 | add passing Reals using foreign export | johnvg | 1 | -0/+2 |
2007-01-02 | prevent compiler crash if a macro with a non constructor application as | johnvg | 1 | -15/+11 |
2006-11-23 | fix bug that may occur if a TC class is used in a context of a class, that | johnvg | 1 | -1/+1 |
2006-11-16 | report an error if an existential type is used | johnvg | 1 | -6/+9 |
2006-11-06 | add var to exi_vars in function check_existential_var if an error occurs, | johnvg | 1 | -1/+3 |
2006-11-01 | allow TC to be used in the context of a class definition (e.g. class C a | TC a) | johnvg | 1 | -22/+29 |
2006-11-01 | fix convertTypeCode for TCE_Selector, required if TC is used in the | johnvg | 1 | -48/+62 |