aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2011-03-30make the following identical local functions of functions analyseGroups and ↵johnvg1-86/+55
reanalyseGroups global: get_linearity_info, get_linearity_info_of_pattern, get_var_index, set_linearity_info git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1893 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-30remove unused result cons_args of function transformGrooupsjohnvg3-27/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1891 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-22recognize non generic variables in is_bimap_idjohnvg3-43/+53
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1889 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-21optimize adapters for generic functions using algebraic types which havejohnvg2-184/+408
constructors with only type variable arguments occurring at most once, these types can be optimized if they occur as an argument or result, or as an argument of such a type, of a generic function (and a generic variable is used by the type) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1886 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-21remove unused field td_context from type TypeDefjohnvg7-17/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1884 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-17pass generic info only to instances for OBJECT, CONS and FIELD,johnvg4-262/+342
call instance functions for OBJECT, CONS and FIELD directly, with generic info git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1881 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-04remove shorthand and iso functions from generic ranges,johnvg2-170/+207
first all main instances are build, then all shorthand instances, shorthand instances directly call the main instance (SK_Function instead of SK_Generic), call toGeneric.. and fromGeneric.. functions directly if possible, instead of iso.. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1877 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-04delete old implementation of genericsjohnvg2-4219/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1876 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-04remove unused index passed by foldArrayStjohnvg1-150/+83
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1874 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-28adapt arguments and result separately, instead of adapting the functionjohnvg1-17/+49
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1867 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-24check_completeness of type of generic function definitionjohnvg1-1/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1863 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-24more: write generic functions in constructors to .tcl and .typ files,johnvg1-18/+12
don;t write generic dictionaries to these files git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1862 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-24git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1858 ↵johnvg13-137/+148
1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-24fix error message for not imported qualified identjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1857 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23only generate a generic info argument for generic instances of kind *->*,johnvg4-205/+169
because OBJECT, CONS and FIELD have this kind and are the only types using generic info git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1855 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23fix type in name of function collectCommonDefinitionsjohnvg1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1854 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23remove some unused commented out functionsjohnvg1-56/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1853 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23really remove dummy function add_kind in function check_generic_exprjohnvg1-5/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1852 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23remove unused function check_generic_varsjohnvg1-22/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1850 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23remove dummy function add_kind in function check_generic_expr,johnvg1-48/+25
fix error message for failed qualified import git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1849 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23remove ImportedConstructors result from function ↵johnvg5-27/+24
convertDynamicPatternsIntoUnifyAppls, because it is always [] git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1847 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23remove unused field wtis_collected_conses of WriteTypeInfoStatejohnvg3-51/+22
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1843 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-15fix bug in scanning 'a'..johnvg1-10/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1841 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-11use ClassInstanceMember array for ins_members instead of DefinedSymbol array,johnvg6-128/+85
call exported generic instances directly git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1838 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-08remove selectors from .tcl filejohnvg1-44/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1836 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-07remove unused cons_arg_vars and cons_index in .tcl filejohnvg1-10/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1834 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-07remove unused types in dynamic patterns in .tcl filejohnvg1-8/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1833 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-02don't write fs_var to .tcl file, because it is the same as fs_ident,johnvg1-8/+4
also requires new linkers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1830 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-02fix test for predefined module index in write_type_info,johnvg3-7/+2
requires new linkers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1828 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-11-24don't print pointer values (only for debugging)johnvg1-19/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1813 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-11-24remove unused argument of function new_case_functionjohnvg1-15/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1812 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-11-24remove some debugging code, small layout changesjohnvg1-63/+30
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1811 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-11-24small changes in layout, remove some debugging code in commentsjohnvg1-11/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1810 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-11-24saome small changes in layoutjohnvg1-13/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1809 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-11-24remove some old code in commentsjohnvg1-15/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1808 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-08-04fix copy of case expression which is ajohnvg1-15/+29
call of an expanded function with too many arguments git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1797 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-13improve failed explicit import error messagejohnvg2-19/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1796 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-06use 'Module'.name in errors, instead of Module@namejohnvg2-10/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1794 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-06move some functions from module check to new module checkgenericsjohnvg3-309/+339
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1793 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-05dont pass icl functions array to/from checkDclMacros,johnvg3-58/+59
it is not used because dcl macros cannot use icl macros. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1792 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-05don't pass icl functions array to/from partitionateDclMacros,johnvg3-12/+12
it is not used because dcl macros cannot use icl macros. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1791 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-02pass Ident name instead of Ident to functions to create generic identsjohnvg6-33/+33
in genericsupport git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1790 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-02remove use of icl_functions by call of checkExplicitImportCompletenessjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1789 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-02remove use of the icl functions array by functionjohnvg3-100/+63
checkExplicitImportCompleteness, because it is not used because imported definitions cannot use local macros. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1788 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-05-25scan 'ModuleName'.Symbol or 'ModuleName'. OperatorSymboljohnvg1-13/+118
as qualified identifiers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1787 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-05-19allow shorted array and record updates after # or #! as:johnvg1-329/+363
r & f = e // same as r = {r & f=e} a & [i] = e // same as a = {a & [i]=e} nested and multiple updates are also allowed git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1786 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-05-07no messagejohnvg1-4/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1785 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-05-07report an error if a generic instance is derived for a type with anjohnvg1-33/+41
existential or universal quantifier git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1784 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-02-11fix comparing TA with TASjohnvg2-39/+44
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1783 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-02-09allow VI_ExpressionOrBody in instance clearVariables BoundVarjohnvg1-1/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1782 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 09:02:40 +0000