aboutsummaryrefslogtreecommitdiff
path: root/backendC/CleanCompilerSources/sa.c
AgeCommit message (Collapse)AuthorFilesLines
2011-02-25git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1866 ↵johnvg1-6/+0
1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-25remove some unused fields and variablesjohnvg1-7/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1865 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-01-14add seqjohnvg1-0/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1726 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19add integers and rationalsjohnvg1-1/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1722 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-12-19add AddStrictnessToExportedFunctionTypesjohnvg1-6/+48
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1717 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-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-01-05port to 64 bit windowsjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1584 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-07-13fix conversion of selection (pattern match in lhs of where or let)johnvg1-11/+16
from a constructor (not a tuple or record) on a cycle git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1502 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-02-20remove includes of typechecker.h and tctypes.tjohnvg1-3/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1461 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-24bug fixes: prevent crash in ReduceArguments and set e_hasindjohnvg1-10/+21
for the node that the indirection node refers to, instead of for the indirection node itself git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1314 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-21give the strictness analyser more memory for large modules,johnvg1-4/+11
move some definitions from settings.c+h to sa.c git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1288 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-20fix crash that occurs if there is not enough memoryjohnvg1-1/+6
to convert the syntax tree and the analyser is used again for functions that are generated later git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1286 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-15fix bug for functions with a case with a case and a default, forjohnvg1-3/+26
which the pattern match of the inner case could fail git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1146 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-28some bug fixes from Clean 1.3johnvg1-15/+93
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1034 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-26bug fix in initialisationronny1-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@904 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-19bug fix: initialisation of global strictness info (prevents crash with ↵ronny1-0/+3
second compile) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@893 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-01pass strictness information from C to Clean, print strict exported and all ↵ronny1-36/+186
types in Clean git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@877 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-12add list cons symbols with arity<2 (for strict lists)johnvg1-40/+73
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@848 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-12clean 1.3 code for recognizing abort and undef in the strictness analyzerjohnvg1-1/+14
doesn't work yet in Clean 2.0 git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@773 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-03fix memory allocation bugjohnvg1-1/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@731 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-03added code for strict and unboxed listsjohnvg1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@728 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-15merged with backend C source code on the macjohnvg1-2/+62
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@430 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-12clean 1.3.3 backend again againclean1-0/+5315
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@189 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 22:32:04 +0000