diff options
| author | johnvg | 2002-02-06 13:50:49 +0000 |
|---|---|---|
| committer | johnvg | 2002-02-06 13:50:49 +0000 |
| commit | 18b70304a4a2e4c8481142a2d48469915e0d0bc0 (patch) | |
| tree | a00d8acc0c7425b2d07c72ecf78319702be2013b /frontend/convertDynamics.icl | |
| parent | store strictness annotations in SymbolType instead of AType (diff) | |
store strictness annotations in SymbolType instead of AType
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1002 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/convertDynamics.icl')
| -rw-r--r-- | frontend/convertDynamics.icl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl index b08e577..aefc2fb 100644 --- a/frontend/convertDynamics.icl +++ b/frontend/convertDynamics.icl @@ -412,7 +412,7 @@ where // # (Yes old_case_default) = this_case_default // # (let_info_ptr, ci) = let_ptr ci - # (default_var, ci) = newVariable "s" (VI_BoundVar {at_attribute=TA_None,at_annotation=AN_None,at_type=TE}) ci + # (default_var, ci) = newVariable "s" (VI_BoundVar {at_attribute=TA_None,at_type=TE}) ci # default_fv = varToFreeVar default_var 1 # ci = { ci & ci_new_variables = [default_fv : ci.ci_new_variables]} @@ -1298,7 +1298,7 @@ let_ptr2 let_types ci=:{ci_expr_heap} /* Sjaak ... */ toAType :: Type -> AType -toAType type = { at_attribute = TA_Multi, at_annotation = AN_None, at_type = type } +toAType type = { at_attribute = TA_Multi, at_type = type } empty_attributed_type :: AType empty_attributed_type = toAType TE |