diff options
| author | ronny | 2002-05-01 12:46:44 +0000 |
|---|---|---|
| committer | ronny | 2002-05-01 12:46:44 +0000 |
| commit | 04f953497a1f27aa760e5357b15a7367fe107e68 (patch) | |
| tree | 00690bd769041ef84ad25ffdceed46dfb8d1a7e9 | |
| parent | docommand.c (diff) | |
bug fix: make case for variable pattern explicit
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1077 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/checkFunctionBodies.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/checkFunctionBodies.icl b/frontend/checkFunctionBodies.icl index 3bd0a78..fc8bff4 100644 --- a/frontend/checkFunctionBodies.icl +++ b/frontend/checkFunctionBodies.icl @@ -860,7 +860,7 @@ where # free_var = { fv_name = name, fv_info_ptr = var_info, fv_def_level = NotALevel, fv_count = 0 } (new_bound_var, expr_heap) = allocate_bound_var free_var expr_heap case_ident = { id_name = case_name, id_info = nilPtr } - (new_case, var_store, expr_heap, cs_error) = build_and_share_case patterns defaul (Var new_bound_var) case_ident False var_store expr_heap cs.cs_error + (new_case, var_store, expr_heap, cs_error) = build_and_share_case patterns defaul (Var new_bound_var) case_ident True var_store expr_heap cs.cs_error cs = {cs & cs_error = cs_error} new_defaul = insert_as_default new_case result_expr = (NoPattern, pattern_scheme, (cons_optional opt_var pattern_variables), Yes (Yes free_var, new_defaul), |