aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjohnvg2001-08-28 14:11:38 +0000
committerjohnvg2001-08-28 14:11:38 +0000
commit55dc8983c5df2a7a893c8dd573c844d7c269721f (patch)
treec0e010fe7cd44d9ce31942fe6839ab2249239ca1
parentUniversally quantified types added (diff)
renamed list,tuple,array and string types as in predef.icl
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@681 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--frontend/typesupport.icl12
1 files changed, 6 insertions, 6 deletions
diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl
index 53601e9..3034302 100644
--- a/frontend/typesupport.icl
+++ b/frontend/typesupport.icl
@@ -1225,12 +1225,12 @@ where
where
is_predefined {glob_module} = glob_module == cPredefinedModuleIndex
- is_list {id_name} = id_name == "_list"
- is_tuple {id_name} tup_arity = id_name == "_tuple" +++ toString tup_arity
- is_lazy_array {id_name} = id_name == "_array"
- is_strict_array {id_name} = id_name == "_!array"
- is_unboxed_array {id_name} = id_name == "_#array"
- is_string_type {id_name} = id_name == "_string"
+ is_list {id_name} = id_name == "_List"
+ is_tuple {id_name} tup_arity = id_name == "_Tuple" +++ toString tup_arity
+ is_lazy_array {id_name} = id_name == "_Array"
+ is_strict_array {id_name} = id_name == "_!Array"
+ is_unboxed_array {id_name} = id_name == "_#Array"
+ is_string_type {id_name} = id_name == "_String"
writeType file opt_beautifulizer (form, arg_type --> res_type)
| checkProperty form cBrackets