aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
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-11use new selector descriptors for garbage collectorjohnvg1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1558 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-11new selector descriptors for garbage collectorjohnvg3-17/+115
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1557 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-28pass -fusion flag to backendjohnvg1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1554 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-28add -fusion flagjohnvg6-31/+19
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1552 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-10-06increment version number because descriptors and apply with >=2 arguments ↵johnvg1-1/+1
have changed git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1548 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-10-06#define NEW_APPLY for IA32,johnvg2-4/+4
remove #defines for UNBOXED_CLOSURES and U_RECORD_SELECTORS git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1547 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-10-06generate .a directive for constructorsjohnvg1-1/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1546 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-05-30initialize DoDescriptors and ExportLocalLabelsjohnvg1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1541 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-22increment version number to 2.1.1johnvg1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1540 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-22increment version number to 2.1.1johnvg1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1539 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 field support_genericsjohnvg1-4/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1535 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-03-31use cDirectory.c with hfs paths instead of unix pathsjohnvg1-274/+415
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1524 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-03-31remove macros _STANDALONE_ and _MACUSER_johnvg3-56/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1523 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-03-31remove InCommandInterpreter and cmdline.hjohnvg2-8/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1522 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-03-18remove typechecker_2.c and typechecker2_2.cjohnvg1-0/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1521 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-03-17makefile for MacOSX / MACH_Ojohnvg1-0/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1520 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-03-17cli for MacOSX with MACH_O, same as unix, except : and , are usedjohnvg12-0/+730
in paths and object files generated by the c compiler have different names git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1519 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-03-17handle \r as \n when scanning .abc filesjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1518 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-03-17rename bool to bool_johnvg1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1517 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-03-17add convert_file_namejohnvg1-3/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1516 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-03-17remove import StdDebugjohnvg1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1515 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-03-11use a heap of 20m instead of 16mjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1514 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-25optimize apply of unknown function with two or more arguments, not yet enabledjohnvg6-19/+210
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1510 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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-16 06:33:26 +0000