aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
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
2005-04-21remove support for 1.3 import syntaxjohnvg9-177/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1536 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-21remove unused variable generated_arg_namesjohnvg1-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1534 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-21remove unused variable sjohnvg1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1533 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
2005-04-21remove unused variable nr_of_funsjohnvg1-3/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1531 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-20add universal attributes in fields of a record type to the st_attr_vars of thejohnvg1-4/+18
type of the record constructor, to prevent crashing in freshSymbolType because the pointers of these attributes are not properly initialized, add universal variables and attributes in fields only to the type of this field, and not also to the types of subsequent fields of this record git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1530 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-20function clear_attributes in function freshSymbolType was not calledjohnvg1-1/+1
because the resulting th_attrs were not stored in the type heaps git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1529 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-20clear group indices of macros in dcl cache to prevent errors in computingjohnvg1-5/+25
components when a macro in a dcl module is used git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1528 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-18don't print pointer values in type errorsjohnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1527 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-08fix specified typejohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1526 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-08fix uniqueness type of UnqArraySelectFunjohnvg1-1/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1525 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 16:26:10 +0000