aboutsummaryrefslogtreecommitdiff
path: root/frontend/check.icl
AgeCommit message (Collapse)AuthorFilesLines
2011-09-06move mapSt2 and mapY2St from module check to module utilitiesjohnvg1-22/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1968 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-06-21prevent crash if a macro is exported using a function type, instead report errorjohnvg1-13/+27
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1946 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-21use strictness annotations in instance member types,johnvg1-99/+158
add instance member types in definition modules git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1932 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-18add instance declarations with a qualified class namejohnvg1-9/+25
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1928 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-15git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1926 ↵johnvg1-45/+37
1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-15remove field icl_copied_from_dcl from type IclModulejohnvg1-5/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1923 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-14use type FunSpecials instead of Specials for specials of functionsjohnvg1-16/+14
(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-04-14replace field dcl_macro_conversions by dcl_has_macro_conversions of type ↵johnvg1-44/+44
DclModule (to have fewer differences with the haskell frontend branch), the conversion table for macros is not used after checking git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1919 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-13use a separate list of function and macro declarations (to have fewer ↵johnvg1-176/+115
differences with the branches) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1917 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-12allow qualified imports of class membersjohnvg1-18/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1915 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-04Remove type argument from_symbol of type Import, it was always type ↵johnvg1-4/+4
ImportDeclaration git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1897 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-03-21remove unused field td_context from type TypeDefjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1884 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23fix type in name of function collectCommonDefinitionsjohnvg1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1854 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-23remove some unused commented out functionsjohnvg1-56/+15
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1853 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-02-11use ClassInstanceMember array for ins_members instead of DefinedSymbol array,johnvg1-23/+26
call exported generic instances directly git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1838 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-06move some functions from module check to new module checkgenericsjohnvg1-309/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1793 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-05dont pass icl functions array to/from checkDclMacros,johnvg1-55/+55
it is not used because dcl macros cannot use icl macros. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1792 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-05don't pass icl functions array to/from partitionateDclMacros,johnvg1-2/+2
it is not used because dcl macros cannot use icl macros. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1791 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-02pass Ident name instead of Ident to functions to create generic identsjohnvg1-2/+2
in genericsupport git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1790 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-02remove use of icl_functions by call of checkExplicitImportCompletenessjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1789 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2010-07-02remove use of the icl functions array by functionjohnvg1-54/+54
checkExplicitImportCompleteness, because it is not used because imported definitions cannot use local macros. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1788 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-05-14report error if type Dynamic is used without importing StdDynamic,johnvg1-9/+11
instead of crash in backend git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1733 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-02-25add explicit import of generic functionsjohnvg1-9/+13
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1728 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-02-25replace type ImportedIdent by Ident because ii_extended is not usedjohnvg1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1727 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-11-10use a loop to adjust predefined symbols of dynamics and genericsjohnvg1-73/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1704 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-10-28remove fields gen_cases and gen_star_cases because they are notjohnvg1-34/+0
used and may cause the compiler to crash if generic definitions and instances occur on a cycle of definition modules git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1702 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-19remove unused field cons_arg_vars,johnvg1-7/+7
remove unused field stv_count in STE_BoundTypeVariable, remove unused argument def_macros of type CollectedDefinitions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1678 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-18add alternative for NewTypePatterns in function checkMacrojohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1677 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-13implement newtypejohnvg1-5/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1672 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11remove string in AP_Empty constructorjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1666 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11rename field cons_index as cons_numberjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1665 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-02remove definition of TC in predef if dynamics are not enabled,johnvg1-17/+22
report error if dynamics are used if dynamics are not enabled, to prevent crashes while compiling git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1658 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-03-28fix "not imported" error if StdArray or StdEnum needs to be importedjohnvg1-11/+15
and is explicitly imported git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1657 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-03-28report an error if a generic case is defined using a type synonymjohnvg1-32/+38
of arity>0 (prevents compiler crash), rename some functions that check instances git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1655 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-27add {#Int} and {#Real} for foreign exportjohnvg1-19/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1652 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-14implement qualified explicit importsjohnvg1-73/+79
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1649 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-30remove di_instances, because it is always []johnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1645 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-29remove instances from ExplImpComponentNrs, because it is always []johnvg1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1643 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-29rename super_components as components_importing_module orjohnvg1-20/+19
components_importing_module_a git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1642 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-29remove intermediate expl_imp_symbols_and_indices_in_components list ofjohnvg1-8/+17
2 tuples, instead build both lists immediately git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1641 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-12add support for strings in foreign exportjohnvg1-11/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1638 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-10add passing Reals using foreign exportjohnvg1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1636 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-12-12prevent crash when the type of an instance contains an undefinedjohnvg1-0/+2
uniqueness variable in an inequality git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1581 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-22remove unused variable n_functions_and_macros_in_dcl_modulesjohnvg1-6/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1575 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-21remove portToNewSyntaxjohnvg1-29/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1566 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-18check kinds of local functions,johnvg1-44/+42
move function indices in IclModule to separate record git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1563 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-22fix layoutjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1537 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-21remove support for 1.3 import syntaxjohnvg1-115/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1536 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-21remove unused variable dummy_dsjohnvg1-6/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1532 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-02implement foreign export with stdcalljohnvg1-7/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1483 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-03 16:52:06 +0000