Age | Commit message (Collapse) | Author | Files | Lines |
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@973 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@972 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
assumes that all variables are defined. For the time being the let is generated
for each function containing dynamics. In some special cases this is super-
fluous.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@971 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
Clean 2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@970 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
a type name and a module name.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@969 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@968 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
and 'is_lazy_or_strict_list' to prevent a compiler crash when a
list or array is used in special with an undefined variable
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@967 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
that was removed in 1.56)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@966 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
are lifted
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@965 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
list patterns
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@958 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@956 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@955 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@953 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
add_decons_call_for_overloaded_lists
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@952 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@951 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@949 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@946 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
were overwritten by accident.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@945 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@944 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
in let, with and where expressions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@942 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@940 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@939 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@935 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@934 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@933 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
make top-level cases in macros explicit
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@932 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@931 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@930 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@929 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@928 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@927 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@926 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@925 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
prevent boxing the Ident for each argument
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@923 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@922 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
read and write functions do not check whether the pointer
belongs to the heap passed as argument.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@921 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
added BVInt
removed symb_arity from SymbIdent
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@918 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@917 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@916 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
predefined_idents is not parsed as a CAF because of the #-definitions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@915 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@914 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@912 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
initPtr modifies the *World
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@911 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
empty cache if compilation fails
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@910 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@909 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@908 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@906 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@903 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@902 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@901 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|