aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
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
2001-08-27bug fixes, ModuleID argument in T_ypeConsSymbol, added _SystemDynamicmartijnv12-122/+287
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@674 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-15Bug fixes: default cases and (more or less) correct types for generated case ↵sjakie2-108/+147
and let expressions in the conversion of dynamics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@649 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-27patch to prevent crash with undefined type variabeles in special declarationronny1-0/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@597 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-25bug fix operator like =:= are now allowedronny1-2/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@586 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-25bug fix scanning ['']ronny1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@585 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-25bug fix scanning ['\\\'']ronny1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@584 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d