Age | Commit message (Collapse) | Author | Files | Lines |
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1714 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1713 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1712 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1711 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1710 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1709 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1708 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1707 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1706 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1705 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
an unknown type
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1698 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
the second argument cannot be used anymore, because x is now Top
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1682 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
constructors and records
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1681 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1652 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1651 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1650 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1637 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1634 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
for example the following function was incorrectly analysed as strict in b:
f a b | a==0 = [];
f a [] = [];
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1632 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1629 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
entry for constructor with the same name as the record
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1626 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1624 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1622 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
with state LazyRedirection (field with type a or (a ..))
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1621 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
for fields (in other records) with this record type
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1620 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1617 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1606 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1605 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1602 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1595 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
to top level, to suppress gcc 4.0 errors.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1591 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
have different sizes in clean and c
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1585 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1584 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
an array of integers in this way fails if the size of integers is not the same
in clean and c
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1583 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
generating functions with too many arguments
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1580 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
generating functions with too many arguments
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1579 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1570 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
StdArrayAbortId
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1569 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1568 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1565 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1564 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1558 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1557 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1552 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
have changed
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1548 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
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
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1546 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1541 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1540 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1523 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|