aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
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
2001-08-31type strict and unboxed listsjohnvg2-125/+249
create types of instances for unboxed lists of records git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@716 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for strict and unboxed listsjohnvg2-75/+195
generate instances for unboxed lists of records allow specials for lazy and strict arrays and lists without specifying element type no shared dictionaries for small dictionaries git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@715 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for OverloadedListPatternsjohnvg1-38/+45
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@714 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for strict and unboxed list comprehensionsjohnvg1-21/+26
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@713 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for OverloadedListPatternsjohnvg1-40/+38
function expandMacrosInBody returns fi_dynamics instead of fun_info git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@712 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for OverloadedListPatternsjohnvg2-114/+198
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@711 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31add type for function checkSpecialTypesjohnvg1-4/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@710 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for strict and unboxed listsjohnvg1-34/+225
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@709 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31allow specials for lazy and strict arrays and lists without specifying ↵johnvg2-188/+178
element type moved cPredefinedModuleIndex to predef adjust predefs for strict and unboxed list symbols removed copy of adjust_predef_symbol and renamed to adjustPredefSymbol git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@708 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31use ArrayAndListInstances instead of range of function indicesjohnvg2-14/+33
added code for passing StdStrictLists_module_n git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@707 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31pretty print strict and unboxed lists in writeTypejohnvg1-2/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@706 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for OverloadedListPatternsjohnvg3-0/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@705 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added symbol_heap parameter to newHashTablejohnvg2-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@704 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added ArrayAndListInstances,OverloadedListPatterns and OverloadedListTypejohnvg2-31/+72
replaced PE_Compr by PE_ListCompr and PE_ArrayCompr git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@703 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added symbols for strict and unboxed listsjohnvg2-235/+389
moved cPredefinedModuleIndex to predef git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@702 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added allocPtr and initPtrjohnvg2-16/+44
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@701 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31PK: token position + minor bugspieter1-69/+56
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@700 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-30bug fix in universally quantified typessjakie1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@699 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-30restoring old mainmartijnv1-6/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@698 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-30added switch_dynamics in module compilerSwitches. Standard dynamics aremartijnv3-1/+16
turned off. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@697 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-28bug fix: count of let bindings was wrong which caused convertcases to crashmartijnv1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@682 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-28renamed list,tuple,array and string types as in predef.icljohnvg1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@681 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-28Universally quantified types addedsjakie1-8/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@680 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-28universally quantified types addedsjakie3-15/+38
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@678 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-27universally quantified types addedsjakie3-5/+5
removed numbering of type variables in TypeDefs git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@677 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-27Universally quantified types addedsjakie2-2/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@676 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-27Universally quantified types addedsjakie11-416/+717
Bug fix in reference marking git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@675 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 06:21:57 +0000