aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2009-12-22make strictly annotated variables in patterns strict (in case expressions)johnvg1-0/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1756 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-12-22fix typo and remove numbers between () in error messagesjohnvg1-5/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1755 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-11-26remove preprocessor for Clean 1.3 codejohnvg1-42/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1754 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-10-12fix bug in fusion that may occur if a recursive function that containsjohnvg1-25/+29
more than one recursive call is fused with a case that is not at the root, previously the recursive calls could get different function indices, causing the compiler to crash git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1753 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-10-12fix bug in implementation of seqjohnvg2-6/+37
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1752 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-07-29fix bug that may occur if a let variable is used in another let in an ↵johnvg2-12/+39
alternative of a case and is also used in another alternative, these lets were not added to the list of lets closed by cases, now they are, and the let will be reopened in the other alternative git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1751 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-07-29fix bug that may occur if a let is used in a case inside another case,johnvg1-92/+119
and also in another alternative of the outside case, if a let is used in a case, close the let, but if the let is used in another alternative of the case, reopen the let, these lets are collected in rms_counted_let_vars git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1750 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-07-29mark pattern and rhs of case alternative with one fullRefMark instead of twojohnvg1-11/+6
(for patterns with variables) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1749 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-07-29fix selective uses in refMarkOfVariable if used completely and by selectorjohnvg1-39/+48
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1748 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-07-29remove some unused code, fix some typosjohnvg1-67/+36
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1747 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-07-28fix uniqueness type bug (not detected because of bug in refmark)johnvg3-9/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1746 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-07-28mark strict vars with VI_StrictLetVar, transform case of such a varjohnvg2-5/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1745 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-07-28create new fv_info_ptr's for strict lets in distributeLets, because otherwisejohnvg2-68/+18
backendpreprocess may number variables incorrectly, causing a crash in backend.dll, renamed VI_CaseVar to VI_CaseOrStrictLetVar git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1744 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-07-01prevent compiler crash if a dynamic type contains a type constructor variable,johnvg1-16/+18
for example: Start = dynamic length git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1743 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-06-15report an error if a non unique * annotated type T is inferred in a function ↵johnvg1-20/+28
type git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1742 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-06-11restore all modified pointers (prevents compiler crash if anjohnvg1-1/+1
explicit import of a type is missing on a cycle of definition modules) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1741 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-06-05make function add_new_variable global instead of localjohnvg1-6/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1740 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-06-05fix for existential/universal type variables of kind > *johnvg1-37/+25
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1739 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-06-05remove some commentsjohnvg1-6/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1738 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-06-05fix for existential/universal type variables of kind > *johnvg1-41/+34
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1737 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-06-05remove some commentsjohnvg1-10/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1736 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-06-05keep case_explicit, instead of setting case_explicit to False for alljohnvg1-168/+98
Case expressions (including cases not usings dynamics) in functions using dynamics. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1735 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-05-14add dynamic_type_used result at wantModule callsjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1734 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-05-14report error if type Dynamic is used without importing StdDynamic,johnvg2-10/+12
instead of crash in backend git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1733 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-05-14pass use of type Dynamic from parser to checkModulejohnvg1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1732 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-05-14remember use of type Dynamicjohnvg2-53/+47
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1731 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-04-29bug fix: initialize atype_vars1 as intendedjohnvg1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1730 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-02-25prevent compiler crash when check import completeness of a generic functionjohnvg1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1729 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-02-25add explicit import of generic functionsjohnvg3-11/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1728 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-02-25replace type ImportedIdent by Ident because ii_extended is not usedjohnvg5-46/+30
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1727 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-01-14add seqjohnvg15-17/+141
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1726 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19pass world to main function without argumentjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1725 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19add BEBindSpecialType, BEOverloadedCaseNode and BEGetErrorjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1724 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19remove BENrOfBasicTypesjohnvg1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1723 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19add integers and rationalsjohnvg7-69/+226
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1722 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19add integers and rationals, allow use of main instead of Startjohnvg1-11/+67
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1721 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19add integers and rationalsjohnvg4-11/+325
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1720 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19add integers and rationalsjohnvg2-1/+51
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1719 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19add hsFilejohnvg2-1/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1718 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19add AddStrictnessToExportedFunctionTypesjohnvg3-6/+50
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1717 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19add -seft, AddStrictnessToExportedFunctionTypesjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1716 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19add BEGetErrorjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1715 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19add ExitEnv_validjohnvg1-0/+20
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1714 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19add ExitEnv_validjohnvg2-4/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1713 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19remove BENrOfBasicDenotsjohnvg3-5/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1712 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19remove NR_Of_Basic_Denots, BENrOfBasicDenotsjohnvg1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1711 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19remove RecordNode, IdentNode, ApplyNode and ScopeNodejohnvg1-42/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1710 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19add OverloadedCaseNode, integer_denot and rational_denotjohnvg1-4/+13
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1709 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19remove unused function NewRulejohnvg2-31/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1708 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19remove Enum function idsjohnvg3-44/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1707 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-16 18:38:05 +0000