diff options
| author | martijnv | 2002-03-11 10:03:21 +0000 |
|---|---|---|
| committer | martijnv | 2002-03-11 10:03:21 +0000 |
| commit | 23c338c8e09654d9065996c79bf10153889d8e5f (patch) | |
| tree | 45d76e3893d85bae17b21b69f75d7fcd60e47d84 /frontend/convertDynamics.icl | |
| parent | remove unused argument td_args from functions (diff) | |
- bug fix: added a forgotten alternative to function convertDynamics for
NoBind
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1054 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/convertDynamics.icl')
| -rw-r--r-- | frontend/convertDynamics.icl | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl index f662e6b..49c2ccd 100644 --- a/frontend/convertDynamics.icl +++ b/frontend/convertDynamics.icl @@ -301,7 +301,9 @@ where (tb_rhs, ci) = convertDynamics {global_type_instances & cinp_st_args = tb_args} vars_with_types No tb_rhs ci = (TransformedBody {tb_args = tb_args,tb_rhs = tb_rhs}, ci) convert_dynamics_in_body global_type_instances other fun_type ci - = abort "unexpected value in 'convert dynamics.convert_dynamics_in_body'" + | True <<- ("Martijn",other) + = abort "!!!unexpected value in 'convert dynamics.convert_dynamics_in_body'" +import RWSDebug bindVarsToTypes2 st_context vars types typed_vars common_defs :== bindVarsToTypes vars (addTypesOfDictionaries common_defs st_context types) typed_vars @@ -480,9 +482,8 @@ where = abort "convertDynamics cinp bound_vars default_expr (TypeCodeExpression" //convertTypecode cinp type_code ci convertDynamics cinp bound_vars default_expr EE ci = (EE, ci) - convertDynamics cinp bound_vars default_expr expression ci - = abort "unexpected value in convertDynamics: 'convertDynamics.Expression'" - + convertDynamics cinp bound_vars default_expr expr=:(NoBind _) ci + = (expr,ci) /* replace all references in a type code expression which refer to an argument i.e. the argument contains a type to their placeholders. Return is a list of (placeholder,argument) list. Each tuple is used later as |