aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2009-04-29bug fix: initialize atype_vars1 as intendedjohnvg1-3/+3
2009-02-25prevent compiler crash when check import completeness of a generic functionjohnvg1-0/+2
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
2009-01-14add seqjohnvg15-17/+141
2008-12-19pass world to main function without argumentjohnvg1-2/+2
2008-12-19add BEBindSpecialType, BEOverloadedCaseNode and BEGetErrorjohnvg1-0/+3
2008-12-19remove BENrOfBasicTypesjohnvg1-1/+0
2008-12-19add integers and rationalsjohnvg7-69/+226
2008-12-19add integers and rationals, allow use of main instead of Startjohnvg1-11/+67
2008-12-19add integers and rationalsjohnvg4-11/+325
2008-12-19add integers and rationalsjohnvg2-1/+51
2008-12-19add hsFilejohnvg2-1/+5
2008-12-19add AddStrictnessToExportedFunctionTypesjohnvg3-6/+50
2008-12-19add -seft, AddStrictnessToExportedFunctionTypesjohnvg1-0/+3
2008-12-19add BEGetErrorjohnvg1-0/+3
2008-12-19add ExitEnv_validjohnvg1-0/+20
2008-12-19add ExitEnv_validjohnvg2-4/+18
2008-12-19remove BENrOfBasicDenotsjohnvg3-5/+3
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