aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2007-04-11remove <<< instance for removed typejohnvg1-7/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1660 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11move some type definitions from checksupport.dcl to syntax.dcljohnvg2-123/+83
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1659 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-02remove definition of TC in predef if dynamics are not enabled,johnvg3-46/+53
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 importedjohnvg3-20/+25
and is explicitly imported git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1657 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-03-28fix module number test in function try_to_expand_synonym_type_in_main_dcl,johnvg1-17/+15
fix checking of kind * for type synonyms, check if * occurs on the left of an algebraic type definition if * is used in a constructor (for all constructors, not just the first one) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1656 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-03-08pass two lists to function init_atype_vars,johnvg1-10/+8
instead of using ++ to concatenate the lists for each call git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1654 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-03-08pass two lists to functions init_type_vars and init_attr_vars,johnvg1-29/+21
instead of using ++ to concatenate the lists for each call git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1653 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 importsjohnvg16-496/+1260
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1649 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-14add space before and after @johnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1648 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-14remove unused codejohnvg1-22/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1647 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-06in checkExplicitImportCompleteness when checking whether a symbol is imported,johnvg2-36/+45
compare module number and symbol number as well, instead of just the name of the ident git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1646 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-30remove di_instances, because it is always []johnvg3-10/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1644 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-29remove instances from ExplImpComponentNrs, because it is always []johnvg3-11/+10
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-29replace list of booleans yielded by function search_expl_imp_symbol byjohnvg1-30/+20
a list of not exported symbols git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1640 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-26optimize markExplImpSymbols by selecting explicit import info for thejohnvg1-12/+11
component once, instead of doing this for every symbol git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1639 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-12add support for strings in foreign exportjohnvg3-16/+26
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
2007-01-02prevent compiler crash if a macro with a non constructor application asjohnvg1-15/+11
rhs (for example Macro:==1+1) is used in a pattern git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1631 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-23fix bug that may occur if a TC class is used in a context of a class, thatjohnvg1-1/+1
is also used in a context of a class git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1628 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-16report an error if an existential type is usedjohnvg1-6/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1627 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-06add var to exi_vars in function check_existential_var if an error occurs,johnvg1-1/+3
and therefore to TFA, to prevent crash later in the compiler (would cause invalid pointer) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1623 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-01allow TC to be used in the context of a class definition (e.g. class C a | TC a)johnvg1-22/+29
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1619 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-01fix convertTypeCode for TCE_Selector, required if TC is used in thejohnvg1-48/+62
context of a class definition (e.g. class C a | TC a) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1618 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-08-01remove clean 1.3 syntaxjohnvg1-5/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1616 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-07-17fix bug in anonymizeAttrVars, the previous algorithm replaced attributejohnvg3-40/+55
variables occuring before different type variables by a '.'. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1604 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-07-17substitute TA_RootVar when expanding type synonymsjohnvg1-1/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1603 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-02-02remove unused function 'isRhsStartToken 'johnvg1-8/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1592 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-01-13remove some unused codejohnvg1-15/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1590 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-24repair error introduced by previous revision (put symbol table back in state)johnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1577 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-24report error for constructors or records with >32 arguments/fieldsjohnvg3-15/+29
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1576 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-22remove unused variable n_functions_and_macros_in_dcl_modulesjohnvg6-30/+26
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1575 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-22removed some code that has no effectjohnvg1-14/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1574 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-22removed unused function Fjohnvg1-3/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1573 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-22removed use of /*2.0 and 0.2*/johnvg1-7/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1572 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-22remove unused field tdi_markjohnvg1-3/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1571 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-21remove unused constructor WildCardjohnvg4-6/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1567 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,johnvg3-67/+75
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-11-18make the Buffer uniquejohnvg1-11/+13
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1562 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-18correct the arities in the 'incorrect arity' error messagejohnvg1-9/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1561 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-11remove code for compatibility with Clean 1.3johnvg5-74/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1560 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-11remove code for compatibility with Clean 1.3johnvg5-43/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1559 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-01prevent crash in 'requirements_of_args' afterjohnvg1-5/+6
'checkError ("no generic instances of "..' in getSymbolType is called git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1556 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-01fix type error for correct programs using type synonyms with a type variable ↵johnvg1-11/+13
on the rhs (see example below) by expanding the type synonym if a type variable is unified with a type synonym that contains that variable. :: Parser b a :== (YieldParser b a) -> (ID b) -> b :: YieldParser b a :== a -> (ID b) -> b :: ID b :== b returnP :: a -> Parser b a returnP x = \yp -> yp x failP :: Parser b a failP = \yp fp -> fp git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1555 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 06:21:57 +0000