aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2011-09-06add BEExtendableAlgebraicTypejohnvg4-0/+25
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1971 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-09-06remove unused function getGenericDefjohnvg1-9/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1969 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-09-06move mapSt2 and mapY2St from module check to module utilitiesjohnvg3-22/+44
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1968 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-08-18remove unused constructor PE_Field of type ParsedExprjohnvg1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1960 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-08-10prevent compiler crash if an uppercase generic identifier is used in a patternjohnvg1-26/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1958 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-07-04fix small bug in merging Deps or Lubsjohnvg1-15/+13
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1952 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-06-30remove function sel_type_var, use foldSt instead of mapSt with unused list ↵johnvg1-47/+24
result git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1949 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-06-21prevent crash if a macro is exported using a function type, instead report errorjohnvg1-13/+27
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1946 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-05-10delete sucl, the same files can be found in the branch sucljohnvg43-9063/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1940 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-05-10delete portToNewSyntaxjohnvg8-1110/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1938 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-05-10don't use freopen to redirect stdout and stderror,johnvg4-94/+79
instead use FILE pointer variables std_out_file_p and std_error_file_p, using freopen caused problems on MacOSX with the named pipes that are used by batchbuild to communicate with the compiler(s). git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1937 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-05-03only allow universal quantifiers at the root of a function argument type,johnvg1-78/+106
constructor argument type or field type git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1935 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-27update backend.dlljohnvg1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1934 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-21use strictness annotations in instance member types,johnvg11-229/+528
add instance member types in definition modules git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1932 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-19use unique array select and update instead of replacejohnvg11-70/+54
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1930 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-18add instance declarations with a qualified class namejohnvg7-52/+89
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1928 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-15git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1926 ↵johnvg11-146/+138
1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-15remove field icl_copied_from_dcl from type IclModulejohnvg5-37/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1923 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-14use type FunSpecials instead of Specials for specials of functionsjohnvg11-95/+119
(to have fewer differences with the haskell frontend branch) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1921 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-14replace field dcl_macro_conversions by dcl_has_macro_conversions of type ↵johnvg6-93/+77
DclModule (to have fewer differences with the haskell frontend branch), the conversion table for macros is not used after checking git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1919 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-13commit more changes for:johnvg2-21/+40
fix type checking of existential type variables that are used by a dynamic expression, but do not occur in the type of a dynamic pattern. TempQDV is used for existential type variables in a dynamic pattern. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1918 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-13use a separate list of function and macro declarations (to have fewer ↵johnvg1-176/+115
differences with the branches) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1917 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-12allow qualified imports of class membersjohnvg6-103/+88
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1915 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-11add BETypeSymbolNoMark to the 64 bit versionjohnvg1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1914 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-08fix type checking of existential type variables that are used by a dynamic ↵johnvg1-0/+4
expression, but do not occur in the type of a dynamic pattern. TempQDV is used for existential type variables in a dynamic pattern. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1912 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-08fix type checking of existential type variables that are used by a dynamic ↵johnvg5-269/+248
expression, but do not occur in the type of a dynamic pattern. TempQDV is used for existential type variables in a dynamic pattern. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1911 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-07fix bug in the memory allocatorjohnvg1-7/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1903 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-06add qualified import of a module, for functions, macros, constructors, types ↵johnvg6-81/+167
and classes git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1901 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-04use type ImportQualified instead of Bool for fields import_qualified and ↵johnvg5-8/+10
ei_qualified git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1899 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-04Remove type argument from_symbol of type Import, it was always type ↵johnvg3-12/+11
ImportDeclaration git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1897 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-31use type Component instead of Group in the fusion modules: partition, ↵johnvg15-647/+681
classify and trans, because function pointers for generated functions are stored in the Component, they can be found without searching the new functions list git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1895 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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-18update files for the Mac after removing some unused fields and values on Windowsjohnvg4-9/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1883 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-03-01remove many unused generic dictionaries from the abc code (previous commit),johnvg1-0/+1
add BETypeSymbolNoMark git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1872 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-01git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1871 ↵johnvg7-44/+75
1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-01in BEConstructorSymbol store constructor index in symb_arity until ↵johnvg1-14/+18
BERecordType is called, instead of scanning all constructors to find it in BERecordType, (should be passed directly to BERecordType) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1870 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-01remove more unused fields and variablesjohnvg6-86/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1869 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-25git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1866 ↵johnvg17-442/+15
1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-25remove some unused fields and variablesjohnvg13-173/+83
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1865 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