aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Expand)AuthorFilesLines
2009-02-25add explicit import of generic functionsjohnvg3-11/+21
2009-02-25replace type ImportedIdent by Ident because ii_extended is not usedjohnvg5-46/+30
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-03-26handle NewType in function isTypeSynonymjohnvg1-0/+2
2008-01-03move function remove_first_n from backendinterface to containersjohnvg2-0/+20
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,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