Age | Commit message (Collapse) | Author | Files | Lines |
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2743 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
crashes with VC 14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2742 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
included
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2741 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2740 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2739 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
API function CopyContext
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2738 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2737 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2736 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2734 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
print expression in error message in cannot_unify
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2732 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2730 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
(to make it possible for the IDE to recompile if necessary)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2728 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
should be converted in module convertDynamics, instead of storing a list with one nilPtr in fi_dynamics,
remove unnecessary Let expressions with unused variables by
initializing with VI_NotUsed instead of VI_Empty
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2724 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2723 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
different system modules
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2722 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
remove old prototypes from scanner.h,
remove #ifndef CLEAN2 .. #endif
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2721 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2720 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2719 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2709 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2708 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2685 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2684 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2683 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2681 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2671 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
when pattern matching
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2669 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2667 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
quantified type variable
by using a SK_OverloadedConstructor instead of a SK_Constructor
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2665 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
labels (again)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2632 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
no longer necessary because clm supports import code from,
compile module backendconvert with -fusion
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2628 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2609 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2608 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2607 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2605 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
if exporting local labels
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2582 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2577 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2569 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
twice)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2568 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
typechecker
(while matching types of instances)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2444 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
this adds local functions of instances and generic cases to the ifi_local_function_indices,
in order to check the kinds of these local functions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2442 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2424 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2366 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2365 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
name of the types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2364 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
by using the reversed groups (constructed in reverse order)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2361 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
the constraint of that class appear
in the reduced constraints for a variable, add a constraint for the original class for that variable
(this causes removal of the other constraints later), to prevent functions with too many constraints
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2357 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
unique
(the type definition has a * on the left),
add Bool to GTT_Constructor to indicate uniqueness,
generate TCE_UnqType in TypeCode for unique GTT_Constructor's,
this uniqueness property should be propagated, but this is not implemented yet
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2336 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
generics1 module
to the list of all type attributes
(not adding these type attributes caused a type error),
this also happens for function types that are specified by the programmer,
the universally quantified type variables are however not added to the list of all type variables
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2334 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
using this information the code generator can determine from which
module a label is imported, this is used when generating position
independent code
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2332 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2330 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|