aboutsummaryrefslogtreecommitdiff
path: root/backend/backendconvert.icl
AgeCommit message (Collapse)AuthorFilesLines
2002-10-18added code for boxed records and lhs uniqueness attribute ofjohnvg1-11/+14
type definitions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1245 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20removed SK_GeneratedCaseFunction: it's not necessary any more, becauseronny1-4/+0
there are no function generated in convertDynamics git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1202 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-20switch to 2.0 syntax, remove duplicated definitions from icl modulesronny1-6/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1200 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-19major rewrite dynamicsronny1-2/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1197 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-09-04Add SK_GeneratedCaseFunction for dynamic cases fixdiederik1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1196 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-08-27Added FailExpr noderonny1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1193 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-07-16remove ModuleIndex type, because it is now defined in syntax.dcl,johnvg1-6/+5
added code for AbstractSynType git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1151 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-04-11support for generic type context like inalimarin1-3/+3
foo :: a a -> Bool | eq{|*|} a git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1073 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-28convert record updates of multiple records into one update nodejohnvg1-12/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1033 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-13bug fix: convert higher-order arrow typesronny1-0/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1018 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-12removed useless strictness annotationsronny1-3/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1017 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-02-06store strictness annotations in SymbolType instead of ATypejohnvg1-12/+58
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1002 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-20remove RWSDebug dependencyronny1-5/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@957 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-17implement pattern matching of strict, unboxed and overloaded listsjohnvg1-1/+11
in let, with and where expressions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@942 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-8/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@935 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-05removed type from BasicExprjohnvg1-2/+4
added BVInt removed symb_arity from SymbIdent git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@918 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-12-03bug fix: uniqueness error in nested record/array updatesronny1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@916 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-30store predefined identifiers in CAFjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@912 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-11-29different representation of selector kind in Selectionronny1-8/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@908 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-18store macros and local functions in macros in separate {#{#FunDef}},johnvg1-132/+46
remove conversion table, except for macros git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@863 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-05bind special idents (such as abort, undef from StdMisc) to the correct ↵ronny1-0/+46
identifiers git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@828 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-04fail explicit casesronny1-17/+38
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@827 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-10-01pass file modification times from icl module and dcl modules to backendronny1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@808 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-26removed erroneous, unused functionronny1-7/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@804 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-07module ownership commentronny1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@763 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-09-05print forall typevars in backendronny1-5/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@737 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-31added code for strict and unboxed listsjohnvg1-44/+313
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@721 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-08-28changed StdDynamics into StdDynamicmartijnv1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@679 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-18replaced VI_Alias with VI_AliasSequenceNumber to avoid potential clashesronny1-1/+1
with VI_Aliases from previous phases git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@557 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-18work around for caching / attribute heap bugronny1-0/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@549 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-17set attributes in heap to AVI_Empty to avoid using values in the heap from ↵ronny1-5/+12
previous compilations (when caching is used) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@547 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-17assign correct selector kind to intermediate selections in nested updatesronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@546 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-13bug fix: reverse order of functions (in components)johnvg1-3/+3
(backendconvert.icl,backend.c) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@544 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-12uniqueness attributes in backendronny1-28/+136
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@542 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-12removed unused varHeap parameters (varHeap is in BackEndState)ronny1-339/+329
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@540 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-07-12removed MW commentsronny1-5/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@539 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-25generate .depend for current dcl moduleronny1-6/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@504 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-22local reference counts for CaseNode and DefaultNoderonny1-19/+88
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@498 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-06-20optimise && and ||johnvg1-12/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@490 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-05-08support for cases in backendronny1-55/+223
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@395 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-03-28Convert Conditionals in the conditional expression of another Conditional to ↵ronny1-2/+17
BEGuardNodes git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@352 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-02-23temporary hack: redirect basic type Dynamic to DynamicTemp from StdDynamicronny1-1/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@304 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2001-01-12New algorithm for explicit imports that also works with cyclic module ↵martinw1-8/+8
dependencies git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@286 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-23bug fix in adjustArrayFunctionsclean1-16/+33
renumber icl function and macro indices when unfolding dcl macros in icl functions and macros git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@260 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-10-04-added position information for let bindings for better error messagesmartinw1-11/+22
(changes are commented with "MW0") git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@248 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-09-27caching of dcl modules, return unique heapclean1-411/+521
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@234 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-14Removed back end spelling inconsistencies (except for syntax:BackendBody, ↵clean1-64/+68
which will vanish when cases are implemented in the back end) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@191 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-14Removed MW commentsclean1-150/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@190 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-07-04labels global function names without ";n" extensionclean1-47/+72
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@181 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2000-06-21solving the problem of strict aliases. Now a strict aliasmartinw1-19/+196
#! x = y will be transformed into #! x = _dummyForStrictAlias y while checking. The new predefined symbol _dummyForStrictAlias has the type of the identity function. This application will be removed in the backend conversion phase. In this case x and y will simply get the same sequence number (see module backendpreprocess). Then the binding can be ignored. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@177 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-16 03:48:17 +0000