aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2001-10-11Bug fix: type attributes of constructor variables are treated (more) uniformlysjakie1-0/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@842 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-08universally quantified attribute variables in typedefs addedsjakie9-104/+146
bug fix: combination of caching and omitted clasdefs git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@833 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-05Added existential attribute variables to type definitionssjakie4-85/+132
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@829 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-04fail explicit casesronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@827 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-04removed unused function makeCaseronny1-12/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@826 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-04made merge_basic_pattern_with_patterns local function of merge_basic_patternsronny1-12/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@825 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-04Oops, the previous commit contained an error in :== defspieter1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@824 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-04typo in error message;pieter1-108/+96
exclude =: and :== in local definitions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@823 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-04Context -> ScanContextpieter2-22/+28
various small things like operators of the form ::> git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@822 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-03Bug fixes: overloading error, changed the order of dictionariessjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@821 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-03Reduce memory usage of mark_producer_safediederik2-101/+122
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@820 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-03replace uniqueCopy with copyCoercionsronny6-13/+75
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@819 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-03fixed type error by reintroducing uniqueCopyronny1-1/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@818 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-03eliminated cheat moduleronny5-26/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@817 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-03changed from system to definition moduleronny2-1/+12
added array copy macro git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@816 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-03removed unnecessary mergeCasesronny1-290/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@815 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-03bug fix, print brackets in typesronny1-3/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@814 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-02removed uniqueness errorssjakie1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@813 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-02removed uniqueness errorssjakie1-11/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@812 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-02Bug fixes: reference count analysis fixed,sjakie21-362/+483
Universally quantified types used in class members git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@811 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-01pass file modification times from icl module and dcl modules to backendronny15-81/+98
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@808 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-01Add producer class for fusiondiederik4-16/+287
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@806 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-01Add fusion commandline flagdiederik6-76/+105
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@805 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-24removed kind correctness checking modulesjakie9-240/+471
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@803 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-21*** empty log message ***sjakie2-39/+40
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@801 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-21Bug fix: caching combined with omitted type and class definitionssjakie23-843/+1090
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@800 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-20Added module owners for convertDynamics, type_io and type_io_commonmartijnv6-0/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@799 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-14fix uniqueness bug (again)johnvg1-2/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@784 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-13Two fixes: (1) error with missing type contextssjakie2-17/+13
(2) uniqueness bug with local variables git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@781 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-13fix uniqueness errorjohnvg1-3/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@780 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-13add feo_generics=Falsejohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@775 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-12add <|- generator for overloaded listsjohnvg6-84/+95
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@774 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-11reduced memory usage of expandSynTypesjohnvg1-36/+52
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@767 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-11pass TypeSymbIdent boxed in TA to function 'expand_syn_types_in_TA' instead ↵johnvg1-4/+4
of unboxed to prevent reboxing git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@766 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-07module ownership commentronny6-0/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@763 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-07moved function checkLocalFunctions from checksupport to checkFunctionBodiesjohnvg3-11/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@761 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-07Bug fix: Stop after an overloading error occurredsjakie1-27/+31
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@759 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06remove 'dcl_is_cashed'johnvg8-57/+49
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@758 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06added command line flag to enable genericsalimarin9-52/+55
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@755 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06bug fix: Improved unification algoritm for kindssjakie7-50/+106
Universally quantified types (parsing and inference) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@753 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06check if StdStrictLists is importedjohnvg4-11/+22
renamed cNeedStdDynamics as cNeedStdDynamic git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@747 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06remove fun_index from FunDefjohnvg10-61/+33
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@746 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-06removed usage of fun_indexalimarin13-194/+612
fixed bugs in generics reimplemented kind-indexed type specialization git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@742 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-05moved function getBelongingSymbolsFromID from checksupport to explicitimportsjohnvg4-19/+13
moved function get_ident from checksupport to check git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@741 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-05fix parsing of [# with layout rulejohnvg3-1/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@740 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-04create symbol_heap just oncejohnvg1-35/+29
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@736 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-03print same error as Clean 1.3 when a module cannot be openedjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@733 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-03comment out debug messagesjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@732 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31parse strict and unboxed listsjohnvg1-95/+285
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@718 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for strict and unboxed listsjohnvg2-45/+174
replace decons/cons by decons_u/cons_u for unboxed lists recognize nil/cons/decons as consumers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@717 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-17 10:47:49 +0000