diff options
| author | johnvg | 2011-04-13 15:50:59 +0000 |
|---|---|---|
| committer | johnvg | 2011-04-13 15:50:59 +0000 |
| commit | 2955d10a0d25fbce4614b2cc3e693baa06bc4e0a (patch) | |
| tree | 2b110e6ec49a6a6d37ca4facae4c0e45a344c612 /frontend/type.icl | |
| parent | use a separate list of function and macro declarations (to have fewer differe... (diff) | |
commit more changes for:
fix type checking of existential type variables that are used by a dynamic expression,
but do not occur in the type of a dynamic pattern.
TempQDV is used for existential type variables in a dynamic pattern.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1918 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/type.icl')
| -rw-r--r-- | frontend/type.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/type.icl b/frontend/type.icl index f83bef6..70e86ff 100644 --- a/frontend/type.icl +++ b/frontend/type.icl @@ -2099,7 +2099,7 @@ where type_variables state fresh_existential_dynamic_pattern_variables type_variables state - = mapSt (\{tv_info_ptr} (var_heap, var_store) -> (var_store, (var_heap <:= (tv_info_ptr, TVI_Type (TempQV var_store)), inc var_store))) + = mapSt (\{tv_info_ptr} (var_heap, var_store) -> (var_store, (var_heap <:= (tv_info_ptr, TVI_Type (TempQDV var_store)), inc var_store))) type_variables state fresh_type_variables type_variables state = foldSt fresh_type_variable type_variables state |