aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2008-12-19remove NR_Of_Basic_Denots, BENrOfBasicDenotsjohnvg1-1/+0
2008-12-19remove RecordNode, IdentNode, ApplyNode and ScopeNodejohnvg1-42/+0
2008-12-19add OverloadedCaseNode, integer_denot and rational_denotjohnvg1-4/+13
2008-12-19remove unused function NewRulejohnvg2-31/+0
2008-12-19remove Enum function idsjohnvg3-44/+0
2008-12-19remove unused field cl_exist_quant_typevarsjohnvg1-1/+0
2008-12-19remove RecordNode, IdentNode, ApplyNode, ScopeNode and IndirectionNodejohnvg3-52/+0
2008-11-10use a loop to adjust predefined symbols of dynamics and genericsjohnvg1-73/+8
2008-11-10make indices of predefined types and expressions of dynamics and genericsjohnvg2-197/+105
2008-10-28remove fields gen_cases and gen_star_cases because they are notjohnvg3-41/+1
2008-05-19fix conversion of nested guards that may fail, incorrect code was generatedjohnvg1-10/+31
2008-04-10remove unnecessary import from _aconcatjohnvg1-2/+0
2008-04-09report an error if a type context is specified multiple times in a function typejohnvg1-5/+8
2008-04-02fix bug in codegeneration for a redirection of an evaluated array tojohnvg1-2/+1
2008-03-26handle NewType in function isTypeSynonymjohnvg1-0/+2
2008-01-03move function remove_first_n from backendinterface to containersjohnvg3-19/+21
2007-12-21make function has_observing_type fasterjohnvg1-3/+8
2007-12-21don't mark strict and unboxed arrays as hyperstrict (causes incorrectjohnvg1-2/+2
2007-12-20update ft_arity of generated dcl functions, if this field is not updated, fusionjohnvg1-5/+3
2007-11-20correct previous commitjohnvg1-1/+1
2007-11-20do not allow a . before (c a) in the type of a constructor,johnvg1-2/+2
2007-11-20remove ExclamationToken from context independent tokens tojohnvg1-1/+0
2007-11-20remove is_pattern argument from functionsjohnvg1-5/+5
2007-11-20change error: type variable of type of lifted argument .. appears in the spec...johnvg1-2/+2
2007-09-11make a![i] unique in yielded element if the yielded array is used only byjohnvg2-25/+231
2007-09-10rename NormalSelectorUniqueElementResult as UniqueSelectorUniqueElementResult,johnvg5-34/+45
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-09-04fix crash for let x=x*x in x, if the first argument of * is updated with Top,johnvg1-0/+6
2007-09-03add ( , and ) in type string of .record to print unboxed tuples in constructo...johnvg1-7/+32
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-13implement newtypejohnvg1-1/+6
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 SwitchGenericsjohnvg1-1/+2
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