diff options
| author | johnvg | 2009-06-05 14:37:53 +0000 |
|---|---|---|
| committer | johnvg | 2009-06-05 14:37:53 +0000 |
| commit | b4783a494767160241bde009c0ac19f21c2e3d11 (patch) | |
| tree | 5236fcf6f04972616c39a310e801ecd20d3cf959 | |
| parent | fix for existential/universal type variables of kind > * (diff) | |
make function add_new_variable global instead of local
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1740 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/typesupport.icl | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl index 895352c..ebcb5dd 100644 --- a/frontend/typesupport.icl +++ b/frontend/typesupport.icl @@ -186,12 +186,6 @@ where | cui.cui_top_level = cleanUpVariable True type qv_number {cus & cus_exis_vars = add_new_variable type qv_number cus_exis_vars} = cleanUpVariable False type qv_number cus - where - add_new_variable TE qv_number cus_exis_vars - = [(qv_number, TA_None) : cus_exis_vars] - add_new_variable type qv_number cus_exis_vars - = cus_exis_vars - clean_up cui tv=:(TV _) cus = (tv, cus) clean_up cui (TFA vars type) cus=:{cus_heaps} @@ -199,6 +193,11 @@ where = (TFA vars type, cus) clean_up cui type cus = abort ("clean_up Type (typesupport.icl): unknown type " ---> ("clean_up Type", type)) + +add_new_variable TE qv_number cus_exis_vars + = [(qv_number, TA_None) : cus_exis_vars] +add_new_variable type qv_number cus_exis_vars + = cus_exis_vars instance clean_up [a] | clean_up a where |