diff options
| author | martijnv | 2001-03-12 11:04:00 +0000 |
|---|---|---|
| committer | martijnv | 2001-03-12 11:04:00 +0000 |
| commit | 6da7df3a8653fc8611878a3a7c835c164cad80b2 (patch) | |
| tree | d1f783951c6ea626467df17e694e058fff032cfe /frontend/convertDynamics.icl | |
| parent | Normalizing (diff) | |
made module name optional
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@322 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/convertDynamics.icl')
| -rw-r--r-- | frontend/convertDynamics.icl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/frontend/convertDynamics.icl b/frontend/convertDynamics.icl index 5f54bbb..495ec59 100644 --- a/frontend/convertDynamics.icl +++ b/frontend/convertDynamics.icl @@ -3,6 +3,9 @@ implementation module convertDynamics import syntax, transform, utilities, convertcases // Optional USE_TUPLES tuple b :== b; // change also StdDynamic.icl and recompile all applications + +APPEND_DEFINING_TYPE_MODULE_NAMES_TO_TYPE_NAMES yes no :== no + import type_io; :: *ConversionInfo = @@ -963,7 +966,7 @@ instance toString GlobalTCType where toString (GTT_Basic basic_type) = toString basic_type toString GTT_Function = " -> " - toString (GTT_Constructor type_symb_indent mod_name) = type_symb_indent.type_name.id_name +++ "'" +++ mod_name + toString (GTT_Constructor type_symb_indent mod_name) = type_symb_indent.type_name.id_name +++ (APPEND_DEFINING_TYPE_MODULE_NAMES_TO_TYPE_NAMES ("'" +++ mod_name) "") instance toString BasicType where |