aboutsummaryrefslogtreecommitdiff
path: root/frontend/checkgenerics.icl
AgeCommit message (Collapse)AuthorFilesLines
2013-04-08add generic function dependencies for generic function definitions,johnvg1-7/+88
add generic case definitions in definition modules for the types used to make the generic representation, in generic case definitions in definition modules specify what generic info and dependencies are used git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2227 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2013-04-05add derive class for deriving generic functions in class context (from iTask ↵johnvg1-19/+147
branch) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2225 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2013-04-05change type GenericCaseDef, add types GenericCaseFunctions and GCFjohnvg1-70/+59
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2224 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2013-04-04renumber functions after checking imported modules (from iTask branch)johnvg1-25/+32
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2222 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2012-10-24in the generic representation use RECORD instead of OBJECT and CONS for records,johnvg1-1/+1
change GenericInfo git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2191 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-10move type TypeCodeVariableInfo to module syntax, remove type ↵johnvg1-1/+1
DynamicValueAliasInfo, adjust imports git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2027 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08rename module StdCompare to compare_typesjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2015 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08remove unnecessary imports of module check,johnvg1-1/+1
remove import of StdCompare in checksupport.dcl, changed some other imports git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2010 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-14use type FunSpecials instead of Specials for specials of functionsjohnvg1-11/+9
(to have fewer differences with the haskell frontend branch) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1921 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-17pass generic info only to instances for OBJECT, CONS and FIELD,johnvg1-0/+1
call instance functions for OBJECT, CONS and FIELD directly, with generic info git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1881 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23remove unused function check_generic_varsjohnvg1-22/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1850 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-11-24small changes in layout, remove some debugging code in commentsjohnvg1-11/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1810 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-06move some functions from module check to new module checkgenericsjohnvg1-0/+321
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1793 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d