aboutsummaryrefslogtreecommitdiff
path: root/backendC/CleanCompilerSources
AgeCommit message (Collapse)AuthorFilesLines
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-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 BENrOfBasicDenotsjohnvg1-3/+1
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-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
2007-09-04fix crash for let x=x*x in x, if the first argument of * is updated with Top,johnvg1-0/+6
the second argument cannot be used anymore, because x is now Top git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1682 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-09-03add ( , and ) in type string of .record to print unboxed tuples in ↵johnvg1-7/+32
constructors and records git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1681 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-27add {#Int} and {#Real} for foreign exportjohnvg1-3/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1652 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-21fix BEStartFunction typejohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1651 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-21add BEStartFunctionjohnvg2-0/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1650 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-12add support for strings in foreign exportjohnvg1-0/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1637 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-10add passing Reals using foreign exportjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1634 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-04Fix strictness analysis of a guard with no default, followed by a pattern match,johnvg1-4/+1
for example the following function was incorrectly analysed as strict in b: f a b | a==0 = []; f a [] = []; git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1632 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-30use version number 920 on 64 bit platformsjohnvg1-4/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1629 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-16rename ea entry for record to eu, to prevent conflict with eajohnvg3-9/+20
entry for constructor with the same name as the record git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1626 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-08add makefile for 64 bit linuxjohnvg1-0/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1624 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-03fix printing of _ label in .n directive for lazy record field selectorsjohnvg1-2/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1622 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-03generate an eval_fill call as ea entry for lazy record selectorsjohnvg1-1/+1
with state LazyRedirection (field with type a or (a ..)) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1621 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-03generate ea entry for boxed records, fixes jmp_eval_upd in lazy selectorsjohnvg4-8/+64
for fields (in other records) with this record type git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1620 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-07-18backend.dll makefile for 64 bit windowsjohnvg1-0/+96
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1606 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-07-17add 64 bit flag to .comp directivejohnvg1-5/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1602 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-01-31Moved forward declaration of static functions from inside functionsronny1-4/+4
to top level, to suppress gcc 4.0 errors. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1591 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-01-05port to 64 bit windowsjohnvg7-13/+41
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1584 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-01-04add function BEGetIntFromArray, will replace BECopyInts because copyingjohnvg2-0/+8
an array of integers in this way fails if the size of integers is not the same in clean and c git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1583 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-12-12another fix for counting the number of arguments in the thunk lifter, to preventjohnvg1-2/+2
generating functions with too many arguments git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1580 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-28fix counting of the number of arguments by the thunk lifter, to preventjohnvg1-20/+20
generating functions with too many arguments git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1579 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-22rename DeltaBId as StdBoolIdjohnvg3-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1570 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-22rename DeltaBId as StdBoolId, remove unused SystemFunctionsId and ↵johnvg1-8/+4
StdArrayAbortId git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1569 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-22remove unused fields im_module_info and dm_module_infojohnvg1-8/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1568 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-21use new applyjohnvg1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1565 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-21remove function GetOptionsFromIclFilejohnvg1-5/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1564 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-11use new selector descriptors for garbage collectorjohnvg1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1558 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-11new selector descriptors for garbage collectorjohnvg3-17/+115
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1557 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d