aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
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
2005-10-28remove output for debuggingjohnvg1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1553 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-10-26remove output for debuggingjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1551 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-10-26remove output for debuggingjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1550 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-10-11print types in error messages: 'derived type conflicts with specified type' andjohnvg1-16/+16
'cannot unify types' on separate lines git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1549 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-09-27add alternative for TArrow in bindInstances to prevent compiler crash for:johnvg1-4/+4
:: EP a = C (a Int Int); Start :: EP (->); Start = Start; git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1545 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-09-16make line number in thejohnvg7-83/+240
"demanded attribute cannot be offered by shared object" error message more accurate, store position in CaseAlt (added field calt_position) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1544 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-09-13make function markPatternVariables recursive to report an errorjohnvg1-16/+19
for: :: *R1 = { r2 :: *R2 }; :: *R2 = { a1::*{#Int}, a2::*{#Int}}; f :: *R1 -> *R2; f r1=:{r2={a1}} = {r1.r2 & a2=a1}; git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1543 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-22remove code for Clean 1.3johnvg3-29/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1538 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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-16 06:36:48 +0000