aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
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
2005-02-01prevent compiler crash when a type variable with a ^ is used in ajohnvg1-7/+12
non dynamic type, instead print an error message git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1513 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-01-31bug for for update of records with existential variable(s): compare indicesjohnvg2-21/+18
of the constructor, instead of a type index with a constructor index, create VITI_PatternType only for records git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1512 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-01-25print "(let ...) or #" for Let and "update of record" for RecordUpdatejohnvg1-0/+4
in error messages git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1511 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-01-21prevent compiler crash in function requirements_of_fields whenjohnvg2-9/+13
a record occurs in a pattern and this record (variable) is updated with a field of another record (with fewer fields). for example: :: R1 = {v1::!Int}; :: R2 = {v2::!Int,n1::!Real}; f r=:{v1} = {r & v2=v1}; git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1509 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-01-20first print derived type, then specified type, in error messagejohnvg1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1508 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-01-19implement let in comprehensionsjohnvg3-64/+74
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1507 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-12-14remove workaround for a bug in Clean 2.0, that seems to have been fixed alreadyjohnvg1-13/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1503 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-06-22bug fix: introduce Char type constructor for Char type (instead of Int)ronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1500 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-05-27report a parse error if an instance definition contains ajohnvg1-5/+8
nodedef after 'where', instead of aborting in postparse git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1498 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-05-07When creating new functions for case expression, don't pass the variablejohnvg1-82/+85
after 'case' twice as parameter when the variable is also used in the right hand side of a case alternative. This can cause incorrect code generation when the reuse unique node optimization is used, because the compiler could incorrectly reuse the variable after pattern matching, causing the other parameter to be overwritten. Remove unused function convertDefault git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1496 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-19remove TC; typesronny5-100/+20
type constructors in dynamic types are now uniquely represented by the descriptor of their TD_ (type definition) function git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1486 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-06fix possible compiler crash if a type synonym has a . on the rhs (added casejohnvg4-35/+55
for TA_RootVar in substitute), prevent exponential use of time in function build_inequalities git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1484 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-02implement foreign export with stdcalljohnvg6-18/+46
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1483 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-02export strictness of tuple of <:: and writeTypejohnvg2-5/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1481 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-02export strictness of argument of newHashTablejohnvg2-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1480 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-24bug fix for semi-abstract type definitons: generate type function for all ↵ronny1-2/+4
type definitions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1478 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-23bug fix numbering of type variablesronny1-22/+28
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1477 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-23moved main module number and common defs from state to info parameterronny1-19/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1476 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-23introduced info parameter for reify functionsronny1-50/+57
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1475 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-23clean up: introduced quote function for stringsronny1-5/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1474 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-23renamed variableronny1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1473 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-23bug fix: number universal variables of fieldronny1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1472 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-19change prefix "TD_" to "TD;"ronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1471 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-19bug fix: correct function kindronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1470 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-19bug fix: use correct index for constructor in constructor definitionronny1-7/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1468 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-17reification of type definitionsronny2-0/+741
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1467 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-17reification of type definitionsronny11-68/+292
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1465 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-17ignore rank > 1 quantors in type_ioronny1-0/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1464 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-05implement tuple result for foreign export / centryjohnvg1-6/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1463 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d