aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
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
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
2005-01-16added ArgEnvWindows path without version numberronny1-29/+3
trimmed project file git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1506 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-01-12improve names used by the time profiler for functions generated forjohnvg4-8/+41
case, if and lambda expressions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1505 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-01-10changed version number and name of universityronny5-11/+18
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1504 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-07-13fix conversion of selection (pattern match in lhs of where or let)johnvg1-11/+16
from a constructor (not a tuple or record) on a cycle git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1502 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-07-13remove syntax problem caused by cvsjohnvg1-41/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1501 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-06-02remove overloading_2.o, typechecker_2.o and typechecker2_2.ojohnvg1-3/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1499 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-07convert hfs file name to unix file name for freopen on MacOSX/MachOjohnvg1-0/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1497 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-29bug fix: always print ';' in function descriptor namesronny1-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1495 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-29removed analysis of ident names for instance types (pre-Clean 2.0 code)ronny1-16/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1494 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-29pass compiler_id in message to the IDEjohnvg2-5/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1493 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-29add set_compiler_id and get_compiler_idjohnvg3-0/+254
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1492 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-26convert file names for MachOjohnvg1-0/+27
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1491 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-20added ')' to #ifdef to fix syntax errorronny1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1490 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-19port to gcc on Mac OS Xjohnvg2-1/+12
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1489 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-19port to gcc on Mac OS Xjohnvg1-3/+26
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1488 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-19port to gcc on Mac OS Xjohnvg1-4/+53
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1487 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-19remove TC; typesronny7-127/+76
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-14mark lazy and/or curried entries of cons for list of unboxed recordsjohnvg1-1/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1485 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 stdcalljohnvg13-31/+64
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1483 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-02export strictness of argument of empty_cachejohnvg2-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1482 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-31don't overwrite first byte of next node in the heap with a '\0'johnvg1-2/+0
in function get_command git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1479 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 kindronny2-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1470 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d