aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
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
2008-12-19remove unused field cl_exist_quant_typevarsjohnvg1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1706 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19remove RecordNode, IdentNode, ApplyNode, ScopeNode and IndirectionNodejohnvg3-52/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1705 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-11-10use a loop to adjust predefined symbols of dynamics and genericsjohnvg1-73/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1704 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-11-10make indices of predefined types and expressions of dynamics and genericsjohnvg2-197/+105
consecutive, use a loop to initialise these types and expressions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1703 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-10-28remove fields gen_cases and gen_star_cases because they are notjohnvg3-41/+1
used and may cause the compiler to crash if generic definitions and instances occur on a cycle of definition modules git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1702 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-05-19fix conversion of nested guards that may fail, incorrect code was generatedjohnvg1-10/+31
for: f True True = True; f _ _ = False git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1701 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-04-10remove unnecessary import from _aconcatjohnvg1-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1700 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-04-09report an error if a type context is specified multiple times in a function typejohnvg1-5/+8
(instead of abort) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1699 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-04-02fix bug in codegeneration for a redirection of an evaluated array tojohnvg1-2/+1
an unknown type git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1698 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-03-26handle NewType in function isTypeSynonymjohnvg1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1697 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d