aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Expand)AuthorFilesLines
2011-09-06remove unused function getGenericDefjohnvg1-9/+0
2011-09-06move mapSt2 and mapY2St from module check to module utilitiesjohnvg3-22/+44
2011-08-18remove unused constructor PE_Field of type ParsedExprjohnvg1-1/+0
2011-08-10prevent compiler crash if an uppercase generic identifier is used in a patternjohnvg1-26/+21
2011-06-30remove function sel_type_var, use foldSt instead of mapSt with unused list re...johnvg1-47/+24
2011-06-21prevent crash if a macro is exported using a function type, instead report errorjohnvg1-13/+27
2011-05-03only allow universal quantifiers at the root of a function argument type,johnvg1-78/+106
2011-04-21use strictness annotations in instance member types,johnvg11-229/+528
2011-04-19use unique array select and update instead of replacejohnvg11-70/+54
2011-04-18add instance declarations with a qualified class namejohnvg7-52/+89
2011-04-15git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1926 1f8540f1-abd...johnvg10-144/+136
2011-04-15remove field icl_copied_from_dcl from type IclModulejohnvg5-37/+17
2011-04-14use type FunSpecials instead of Specials for specials of functionsjohnvg11-95/+119
2011-04-14replace field dcl_macro_conversions by dcl_has_macro_conversions of type DclM...johnvg5-92/+76
2011-04-13commit more changes for:johnvg2-21/+40
2011-04-13use a separate list of function and macro declarations (to have fewer differe...johnvg1-176/+115
2011-04-12allow qualified imports of class membersjohnvg6-103/+88
2011-04-08fix type checking of existential type variables that are used by a dynamic ex...johnvg1-0/+4
2011-04-08fix type checking of existential type variables that are used by a dynamic ex...johnvg4-267/+242
2011-04-06add qualified import of a module, for functions, macros, constructors, types ...johnvg5-80/+166
2011-04-04use type ImportQualified instead of Bool for fields import_qualified and ei_q...johnvg5-8/+10
2011-04-04Remove type argument from_symbol of type Import, it was always type ImportDec...johnvg3-12/+11
2011-03-31use type Component instead of Group in the fusion modules: partition, classif...johnvg13-640/+636
2011-03-30make the following identical local functions of functions analyseGroups and r...johnvg1-86/+55
2011-03-30remove unused result cons_args of function transformGrooupsjohnvg3-27/+14
2011-03-22recognize non generic variables in is_bimap_idjohnvg3-43/+53
2011-03-21optimize adapters for generic functions using algebraic types which havejohnvg2-184/+408
2011-03-21remove unused field td_context from type TypeDefjohnvg7-17/+11
2011-03-17pass generic info only to instances for OBJECT, CONS and FIELD,johnvg4-262/+342
2011-03-04remove shorthand and iso functions from generic ranges,johnvg2-170/+207
2011-03-04delete old implementation of genericsjohnvg2-4219/+0
2011-03-04remove unused index passed by foldArrayStjohnvg1-150/+83
2011-02-28adapt arguments and result separately, instead of adapting the functionjohnvg1-17/+49
2011-02-24check_completeness of type of generic function definitionjohnvg1-1/+5
2011-02-24more: write generic functions in constructors to .tcl and .typ files,johnvg1-18/+12
2011-02-24git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1858 1f8540f1-abd...johnvg13-137/+148
2011-02-24fix error message for not imported qualified identjohnvg1-1/+1
2011-02-23only generate a generic info argument for generic instances of kind *->*,johnvg4-205/+169
2011-02-23fix type in name of function collectCommonDefinitionsjohnvg1-4/+4
2011-02-23remove some unused commented out functionsjohnvg1-56/+15
2011-02-23really remove dummy function add_kind in function check_generic_exprjohnvg1-5/+0
2011-02-23remove unused function check_generic_varsjohnvg1-22/+4
2011-02-23remove dummy function add_kind in function check_generic_expr,johnvg1-48/+25
2011-02-23remove ImportedConstructors result from function convertDynamicPatternsIntoUn...johnvg5-27/+24
2011-02-23remove unused field wtis_collected_conses of WriteTypeInfoStatejohnvg3-51/+22
2011-02-15fix bug in scanning 'a'..johnvg1-10/+9
2011-02-11use ClassInstanceMember array for ins_members instead of DefinedSymbol array,johnvg6-128/+85
2011-02-08remove selectors from .tcl filejohnvg1-44/+10
2011-02-07remove unused cons_arg_vars and cons_index in .tcl filejohnvg1-10/+3
2011-02-07remove unused types in dynamic patterns in .tcl filejohnvg1-8/+0