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/refmark.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/refmark.icl')
| -rw-r--r-- | frontend/refmark.icl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/refmark.icl b/frontend/refmark.icl index 02f691b..e447641 100644 --- a/frontend/refmark.icl +++ b/frontend/refmark.icl @@ -749,6 +749,9 @@ where has_observing_type (TA {type_index = {glob_object,glob_module}} type_args) type_def_infos subst # {tdi_properties} = type_def_infos.[glob_module].[glob_object] = foldSt (\ {at_type} ok -> ok && has_observing_type at_type type_def_infos subst) type_args (tdi_properties bitand cIsHyperStrict <> 0) + has_observing_type (TAS {type_index = {glob_object,glob_module}} type_args _) type_def_infos subst + # {tdi_properties} = type_def_infos.[glob_module].[glob_object] + = foldSt (\ {at_type} ok -> ok && has_observing_type at_type type_def_infos subst) type_args (tdi_properties bitand cIsHyperStrict <> 0) has_observing_type type type_def_infos subst = False |