aboutsummaryrefslogtreecommitdiff
path: root/frontend/checkFunctionBodies.icl
AgeCommit message (Expand)AuthorFilesLines
2012-08-14add extendable algebraic data types (merged from iTask branch)johnvg1-56/+89
2012-08-02add pattern match test using =: in expressions,johnvg1-1/+39
2012-04-05fix aliases in sub patterns of # or let, for example:johnvg1-1/+8
2011-11-08rename module StdCompare to compare_typesjohnvg1-1/+1
2011-11-08remove unnecessary imports of module check,johnvg1-0/+1
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-378/+359
2011-03-17pass generic info only to instances for OBJECT, CONS and FIELD,johnvg1-25/+3
2011-02-23only generate a generic info argument for generic instances of kind *->*,johnvg1-4/+7
2011-02-23really remove dummy function add_kind in function check_generic_exprjohnvg1-5/+0
2011-02-23remove dummy function add_kind in function check_generic_expr,johnvg1-48/+25
2010-07-06use 'Module'.name in errors, instead of Module@namejohnvg1-9/+9
2010-07-05dont pass icl functions array to/from checkDclMacros,johnvg1-1/+2
2009-07-28fix uniqueness type bug (not detected because of bug in refmark)johnvg1-2/+2
2007-09-10rename NormalSelectorUniqueElementResult as UniqueSelectorUniqueElementResult,johnvg1-3/+3
2007-04-13implement newtypejohnvg1-164/+264
2007-04-12implement {# and {! in array comprehensions that create a new arrayjohnvg1-0/+23
2007-04-11remove string in AP_Empty constructorjohnvg1-22/+22
2007-03-28fix "not imported" error if StdArray or StdEnum needs to be importedjohnvg1-4/+5
2007-02-14implement qualified explicit importsjohnvg1-106/+346
2007-01-02prevent compiler crash if a macro with a non constructor application asjohnvg1-15/+11
2005-09-16make line number in thejohnvg1-19/+19
2005-04-08fix uniqueness type of UnqArraySelectFunjohnvg1-1/+3
2003-12-12fix #! with constructor pattern match or record with one fieldjohnvg1-15/+19
2003-12-12fix #! with constructor pattern match or record with one fieldjohnvg1-92/+143
2003-08-20removed unnecessary separate fields for universal variables,ronny1-3/+3
2003-06-26bug fix in administration of needed modules (fixes bug #25 and a possiblyronny1-6/+6
2003-06-26don't assume infix operators have arity 2 (fixes bug #17)ronny1-15/+15
2003-05-16renamed field names of type Ident in syntax treeronny1-93/+93
2003-01-08remove rhs of alternative with an AP_Empty pattern, to preventjohnvg1-1/+1
2003-01-06prevent compiler crash if an array pattern is not a variablejohnvg1-2/+3
2002-11-14remove record update to record node transformation (for recordsjohnvg1-34/+2
2002-10-18add strict dot dot expressions, transform record updatejohnvg1-45/+64
2002-07-22removed RWS commentsronny1-29/+9
2002-07-22introduced macros for values of case_explicit booleanronny1-13/+16
2002-07-16generate DclFunCall's for function calls from macros to fixjohnvg1-7/+27
2002-06-17removed ignored !'sjohnvg1-2/+2
2002-06-03added constructor/type/field information to genericsalimarin1-4/+26
2002-05-01bug fix: make case for variable pattern explicitronny1-1/+1
2002-03-25new implementation of genericsalimarin1-22/+29
2002-01-17Bug fix: Scopes in dynamicssjakie1-25/+24
2002-01-10bug fix: move merge cases to transform, because it assumes local funcitonsronny1-44/+10
2001-12-19fix pattern does not match error in function add_decons_call_for_overloaded_l...johnvg1-0/+1
2001-12-17implement pattern matching of strict, unboxed and overloaded listsjohnvg1-7/+28
2001-12-13remove tuple symbol from UniqueSelector (! selector) and MatchExprjohnvg1-8/+5
2001-12-12enter new scope when checking rhs of nodedefsronny1-1/+2
2001-12-12fixed bugs in merging explicit casesronny1-5/+5
2001-12-05removed type from BasicExprjohnvg1-18/+19
2001-12-03bug fix: uniqueness error in nested record/array updatesronny1-14/+18
2001-11-30store predefined identifiers in CAFjohnvg1-21/+23
2001-11-29different representation of selector kind in Selectionronny1-9/+9