diff options
| author | johnvg | 2002-02-06 13:48:00 +0000 |
|---|---|---|
| committer | johnvg | 2002-02-06 13:48:00 +0000 |
| commit | 1676f83d0793e37947886aa036b1069661e92d69 (patch) | |
| tree | bc5002ba67677c2a11c6be6bdfe3a6fe5981ca86 /frontend/convertcases.icl | |
| parent | er worden nu universele type variabelen in de vorm van UP_laceHolder's (diff) | |
store strictness annotations in SymbolType instead of AType
and remove annotations in generated functions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1001 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/convertcases.icl')
| -rw-r--r-- | frontend/convertcases.icl | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/frontend/convertcases.icl b/frontend/convertcases.icl index 9a06aec..442c7c8 100644 --- a/frontend/convertcases.icl +++ b/frontend/convertcases.icl @@ -704,9 +704,10 @@ newFunction :: !(Optional Ident) !FunctionBody ![FreeVar] ![AType] !AType !Int ! newFunction opt_id fun_bodies local_vars arg_types result_type group_index state = newFunctionWithType opt_id fun_bodies local_vars fun_type group_index state where - fun_type = + (_,fun_type) = removeAnnotations { st_vars = [] , st_args = arg_types + , st_args_strictness=NotStrict , st_arity = length arg_types // -*-> ("newFunction", fun_id.id_name) , st_result = result_type , st_context = [] @@ -1133,9 +1134,11 @@ where # body = TransformedBody {tb_args=[case_var : [var \\ (var, _) <- free_vars]], tb_rhs=caseExpr} - type - = { st_vars = [] + (_,type) + = removeAnnotations + { st_vars = [] , st_args = [ct_pattern_type : [ type \\ (_, type) <- free_vars]] + , st_args_strictness=NotStrict , st_arity = 1 + length free_vars , st_result = ct_result_type , st_context = [] |