Age | Commit message (Collapse) | Author | Files | Lines |
|
use UniqueSingleArraySelector for a![i] instead of NormalSelector and
add UniqueSingleArraySelectorUniqueElementResult
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1686 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1685 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1684 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1683 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
|
|
by using a unique selection with unique result, instead of "uselect"
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1680 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1679 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
remove unused field stv_count in STE_BoundTypeVariable,
remove unused argument def_macros of type CollectedDefinitions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1678 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1677 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1676 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1675 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1674 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1673 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1672 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1671 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1670 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1669 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1668 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
cannot be empty
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1667 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1666 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1665 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1664 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1663 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1662 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1661 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1660 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1659 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
report error if dynamics are used if dynamics are not enabled,
to prevent crashes while compiling
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1658 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
and is explicitly imported
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1657 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
fix checking of kind * for type synonyms,
check if * occurs on the left of an algebraic type definition if * is used
in a constructor (for all constructors, not just the first one)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1656 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
of arity>0 (prevents compiler crash), rename some functions that
check instances
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1655 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
instead of using ++ to concatenate the lists for each call
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1654 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
instead of using ++ to concatenate the lists for each call
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1653 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@1649 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1648 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1647 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
compare module number and symbol number as well, instead of just the name of the ident
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1646 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1645 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1644 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1643 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
components_importing_module_a
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1642 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
2 tuples, instead build both lists immediately
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1641 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
a list of not exported symbols
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1640 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
component once, instead of doing this for every symbol
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1639 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1638 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1637 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|