aboutsummaryrefslogtreecommitdiff
path: root/frontend/check.icl
AgeCommit message (Expand)AuthorFilesLines
2014-04-03add unit typejohnvg1-3/+3
2013-05-28fix renumbering of extensible algebraic typesjohnvg1-3/+10
2013-04-26improve "multiply defined" error, add module names of the definitions to the ...johnvg1-24/+23
2013-04-08add generic function dependencies for generic function definitions,johnvg1-5/+69
2013-04-05add derive class for deriving generic functions in class context (from iTask ...johnvg1-13/+41
2013-04-05change type GenericCaseDef, add types GenericCaseFunctions and GCFjohnvg1-11/+13
2013-04-04renumber functions after checking imported modules (from iTask branch)johnvg1-291/+376
2013-04-04add type constraints in dynamic typesjohnvg1-3/+3
2013-04-03remove more small differences in module typereify with the iTask branchjohnvg1-1/+1
2013-04-02add type constraints in constructors and function arguments with universal qu...johnvg1-4/+8
2012-08-14add extendable algebraic data types (merged from iTask branch)johnvg1-0/+28
2012-06-15in substitute use original type (instead of copy) if possible,johnvg1-8/+7
2012-05-14import module _SystemDynamic instead of StdCleanTypes if -dynamics is used,johnvg1-15/+4
2012-03-23fix implicit qualified import of a module of which no (qualified) symbol is usedjohnvg1-1/+8
2011-11-10move type TypeCodeVariableInfo to module syntax, remove type DynamicValueAlia...johnvg1-2/+1
2011-11-09add module expand_types containing some functions from module trans and modul...johnvg1-1/+1
2011-11-08rename module StdCompare to compare_typesjohnvg1-1/+1
2011-11-08remove unnecessary imports of module check,johnvg1-1/+1
2011-11-08remove differences in layout between the compiler and the iTask compilerjohnvg1-132/+106
2011-09-06move mapSt2 and mapY2St from module check to module utilitiesjohnvg1-22/+0
2011-06-21prevent crash if a macro is exported using a function type, instead report errorjohnvg1-13/+27
2011-04-21use strictness annotations in instance member types,johnvg1-99/+158
2011-04-18add instance declarations with a qualified class namejohnvg1-9/+25
2011-04-15git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1926 1f8540f1-abd...johnvg1-45/+37
2011-04-15remove field icl_copied_from_dcl from type IclModulejohnvg1-5/+3
2011-04-14use type FunSpecials instead of Specials for specials of functionsjohnvg1-16/+14
2011-04-14replace field dcl_macro_conversions by dcl_has_macro_conversions of type DclM...johnvg1-44/+44
2011-04-13use a separate list of function and macro declarations (to have fewer differe...johnvg1-176/+115
2011-04-12allow qualified imports of class membersjohnvg1-18/+16
2011-04-04Remove type argument from_symbol of type Import, it was always type ImportDec...johnvg1-4/+4
2011-03-21remove unused field td_context from type TypeDefjohnvg1-1/+1
2011-02-23fix type in name of function collectCommonDefinitionsjohnvg1-4/+4
2011-02-23remove some unused commented out functionsjohnvg1-56/+15
2011-02-11use ClassInstanceMember array for ins_members instead of DefinedSymbol array,johnvg1-23/+26
2010-07-06move some functions from module check to new module checkgenericsjohnvg1-309/+2
2010-07-05dont pass icl functions array to/from checkDclMacros,johnvg1-55/+55
2010-07-05don't pass icl functions array to/from partitionateDclMacros,johnvg1-2/+2
2010-07-02pass Ident name instead of Ident to functions to create generic identsjohnvg1-2/+2
2010-07-02remove use of icl_functions by call of checkExplicitImportCompletenessjohnvg1-2/+2
2010-07-02remove use of the icl functions array by functionjohnvg1-54/+54
2009-05-14report error if type Dynamic is used without importing StdDynamic,johnvg1-9/+11
2009-02-25add explicit import of generic functionsjohnvg1-9/+13
2009-02-25replace type ImportedIdent by Ident because ii_extended is not usedjohnvg1-4/+4
2008-11-10use a loop to adjust predefined symbols of dynamics and genericsjohnvg1-73/+8
2008-10-28remove fields gen_cases and gen_star_cases because they are notjohnvg1-34/+0
2007-04-19remove unused field cons_arg_vars,johnvg1-7/+7
2007-04-18add alternative for NewTypePatterns in function checkMacrojohnvg1-0/+3
2007-04-13implement newtypejohnvg1-5/+11
2007-04-11remove string in AP_Empty constructorjohnvg1-2/+2
2007-04-11rename field cons_index as cons_numberjohnvg1-1/+1