Age | Commit message (Expand) | Author | Files | Lines |
2007-09-11 | make a![i] unique in yielded element if the yielded array is used only by | johnvg | 2 | -25/+231 |
2007-09-10 | rename NormalSelectorUniqueElementResult as UniqueSelectorUniqueElementResult, | johnvg | 5 | -34/+45 |
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-09-04 | fix crash for let x=x*x in x, if the first argument of * is updated with Top, | johnvg | 1 | -0/+6 |
2007-09-03 | add ( , and ) in type string of .record to print unboxed tuples in constructo... | johnvg | 1 | -7/+32 |
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 | implement newtype | johnvg | 1 | -1/+6 |
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 | johnvg | 1 | -1/+2 |
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 | 2 | -22/+24 |
2007-02-21 | fix BEStartFunction type | johnvg | 1 | -1/+1 |
2007-02-21 | add BEStartFunction | johnvg | 3 | -0/+10 |
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 |