aboutsummaryrefslogtreecommitdiff
path: root/frontend/transform.icl
AgeCommit message (Expand)AuthorFilesLines
2013-10-23undo previous commit, because it causes the compiler to crash when compiling ...johnvg1-5/+0
2013-10-14check the type of instances defined using :== (maybe the parser should reject...johnvg1-0/+5
2013-05-06call reset_free_var_heap_pointers before expandCheckedAlternative in expandMa...johnvg1-7/+10
2013-04-08add generic function dependencies for generic function definitions,johnvg1-53/+189
2013-04-02add type constraints in constructors and function arguments with universal qu...johnvg1-0/+15
2012-08-02add pattern match test using =: in expressions,johnvg1-4/+20
2012-06-18make local functions of function partitionateAndLiftFunctions global,johnvg1-183/+190
2012-06-14rename type PartitioningInfo to PartitioningState (and fields pi_ to ps_)johnvg1-174/+174
2012-06-14rename field es_symbol_heap of type ExpandState to es_expression_heapjohnvg1-32/+32
2012-06-14rename field cos_symbol_heap to cos_expression_heapjohnvg1-30/+26
2011-11-09move types Group and Component to module checksupportjohnvg1-4/+0
2011-11-08remove unnecessary imports of module check,johnvg1-1/+1
2010-07-05don't pass icl functions array to/from partitionateDclMacros,johnvg1-8/+8
2010-02-05remove code that is no longer used in unfold, because unfold is no longerjohnvg1-210/+101
2009-07-28fix uniqueness type bug (not detected because of bug in refmark)johnvg1-2/+2
2007-09-11make a![i] unique in yielded element if the yielded array is used only byjohnvg1-24/+225
2007-04-13implement newtypejohnvg1-5/+21
2007-04-12implement {# and {! in array comprehensions that create a new arrayjohnvg1-1/+16
2003-12-16report unused #! variablesjohnvg1-16/+22
2003-12-11bug fix: use a new ptr in expanded dynamicronny1-3/+5
2003-09-16removed boolean result from substituteType and substitute: theyronny1-4/+4
2003-05-16renamed field names of type Ident in syntax treeronny1-68/+68
2003-01-08Bug fix: uniqueness error in recordssjakie1-1/+2
2002-12-02add strictness annotationsdiederik1-4/+12
2002-11-12mark boolean case as not explicit to prevent introducing a functionronny1-1/+1
2002-11-12bugs fixed in genericsalimarin1-0/+2
2002-11-08Better fix so that correctness of EI_LetType is maintained during repartitioningdiederik1-19/+39
2002-11-04Fix so that correctness of EI_LetType is maintained during repartitioningdiederik1-1/+16
2002-10-07include type when adding cases for bool exprsdiederik1-1/+7
2002-09-30add 'safe' to active case info for casefun generationdiederik1-1/+3
2002-09-24removed ignored !johnvg1-1/+1
2002-09-02expand macros in dynamic expressionsronny1-0/+9
2002-08-23remove record fields: ui_convert_module_n, ui_conversion_table,johnvg1-160/+119
2002-07-25add collectVariable instance for Dictionaries for consumer reanalysisdiederik1-0/+3
2002-07-22rebuilt auxiliary dynamics administrationronny1-140/+130
2002-07-16add code for DclFunCall to fix a bug if an exported macrojohnvg1-11/+28
2002-06-17removed ignored !'sjohnvg1-1/+1
2002-03-26set the explicit flag for cases generated for && and || to Truejohnvg1-14/+5
2002-03-25new implementation of genericsalimarin1-1/+18
2002-01-31remove RWSDebug importronny1-1/+1
2002-01-23bug fix: adapted collect_used_dynamics which didn't eliminate all unusedmartijnv1-8/+8
2002-01-21bug fix: unused dynamics were not recursively removed from fi_dynamicsmartijnv1-1/+2
2002-01-21bug fix: unused dynamics were not recursively removed from fi_dynamicsmartijnv1-3/+13
2002-01-18removed unused undefined record field, to make the module compilable with Cle...ronny1-1/+1
2002-01-17Bug fix: Scopes in dynamicssjakie1-51/+23
2002-01-10bug fix: move merge cases to transform, because it assumes local funcitonsronny1-1/+40
2001-12-20remove RWSDebug dependencyronny1-2/+0
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-9/+9
2001-12-13Lifting of dynamic expressions repairedsjakie1-0/+11
2001-12-12removed RWSDebug importronny1-2/+0