aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2007-04-12remove unused type Choicejohnvg2-4/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1670 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-12remove SwitchGenericsjohnvg1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1669 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-12remove SwitchGenerics macrojohnvg3-39/+25
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1668 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11remove function updateDynamics, it is unused because over_infojohnvg3-81/+24
cannot be empty git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1667 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11remove string in AP_Empty constructorjohnvg3-25/+25
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1666 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11rename field cons_index as cons_numberjohnvg5-11/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1665 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11remove cons_index field in pattern in functions that do not use this fieldjohnvg1-6/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1664 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11remove import of module checksupport, remove unused function: newFunctionjohnvg1-17/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1663 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11remove import of module checksupportjohnvg4-6/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1662 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11remove updateExpression instance for removed typejohnvg1-7/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1661 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11remove <<< instance for removed typejohnvg1-7/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1660 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11move some type definitions from checksupport.dcl to syntax.dcljohnvg2-123/+83
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1659 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-02remove definition of TC in predef if dynamics are not enabled,johnvg3-46/+53
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
2007-03-28fix "not imported" error if StdArray or StdEnum needs to be importedjohnvg3-20/+25
and is explicitly imported git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1657 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-03-28fix module number test in function try_to_expand_synonym_type_in_main_dcl,johnvg1-17/+15
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
2007-03-28report an error if a generic case is defined using a type synonymjohnvg1-32/+38
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
2007-03-08pass two lists to function init_atype_vars,johnvg1-10/+8
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
2007-03-08pass two lists to functions init_type_vars and init_attr_vars,johnvg1-29/+21
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
2007-02-27add {#Int} and {#Real} for foreign exportjohnvg2-22/+24
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1652 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-21fix BEStartFunction typejohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1651 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-21add BEStartFunctionjohnvg3-0/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1650 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-14implement qualified explicit importsjohnvg16-496/+1260
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1649 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-14add space before and after @johnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1648 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-14remove unused codejohnvg1-22/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1647 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-06in checkExplicitImportCompleteness when checking whether a symbol is imported,johnvg2-36/+45
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
2007-01-30remove di_instances, because it is always []johnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1645 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-30remove di_instances, because it is always []johnvg3-10/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1644 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-29remove instances from ExplImpComponentNrs, because it is always []johnvg3-11/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1643 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-29rename super_components as components_importing_module orjohnvg1-20/+19
components_importing_module_a git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1642 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-29remove intermediate expl_imp_symbols_and_indices_in_components list ofjohnvg1-8/+17
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
2007-01-29replace list of booleans yielded by function search_expl_imp_symbol byjohnvg1-30/+20
a list of not exported symbols git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1640 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-26optimize markExplImpSymbols by selecting explicit import info for thejohnvg1-12/+11
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
2007-01-12add support for strings in foreign exportjohnvg3-16/+26
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1638 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-12add support for strings in foreign exportjohnvg1-0/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1637 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-10add passing Reals using foreign exportjohnvg1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1636 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-10remove //1.3 //3.1johnvg2-8/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1635 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-10add passing Reals using foreign exportjohnvg1-0/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1634 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-04remove //1.3 //3.1johnvg2-7/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1633 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-04Fix strictness analysis of a guard with no default, followed by a pattern match,johnvg1-4/+1
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
2007-01-02prevent compiler crash if a macro with a non constructor application asjohnvg1-15/+11
rhs (for example Macro:==1+1) is used in a pattern git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1631 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-30use version number 920 on 64 bit platformsjohnvg1-4/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1629 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-23fix bug that may occur if a TC class is used in a context of a class, thatjohnvg1-1/+1
is also used in a context of a class git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1628 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-16report an error if an existential type is usedjohnvg1-6/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1627 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-16rename ea entry for record to eu, to prevent conflict with eajohnvg3-9/+20
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
2006-11-08add make script for 64 bit linuxjohnvg1-0/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1625 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-08add makefile for 64 bit linuxjohnvg1-0/+17
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1624 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-06add var to exi_vars in function check_existential_var if an error occurs,johnvg1-1/+3
and therefore to TFA, to prevent crash later in the compiler (would cause invalid pointer) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1623 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-03fix printing of _ label in .n directive for lazy record field selectorsjohnvg1-2/+5
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1622 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-11-03generate an eval_fill call as ea entry for lazy record selectorsjohnvg1-1/+1
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
2006-11-03generate ea entry for boxed records, fixes jmp_eval_upd in lazy selectorsjohnvg4-8/+64
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 19:15:22 +0000