diff options
| author | johnvg | 2001-08-31 10:48:37 +0000 |
|---|---|---|
| committer | johnvg | 2001-08-31 10:48:37 +0000 |
| commit | c5da5969b4a80dad6a6b976ef7c007bcbe54cf2c (patch) | |
| tree | d26284c6eb72ff9cc2ee299d44ecf336ab7505d7 | |
| parent | added code for OverloadedListPatterns (diff) | |
pretty print strict and unboxed lists in writeType
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@706 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/typesupport.icl | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl index 3034302..0453766 100644 --- a/frontend/typesupport.icl +++ b/frontend/typesupport.icl @@ -1196,8 +1196,18 @@ where = (file <<< 'v' <<< tv_number, No) writeType file opt_beautifulizer (form, TA {type_name,type_index,type_arity} types) | is_predefined type_index - | is_list type_name + | type_name.id_name=="_List" = writeWithinBrackets "[" "]" file opt_beautifulizer (setProperty form cCommaSeparator, types) + | type_name.id_name=="_!List" + = writeWithinBrackets "[!" "]" file opt_beautifulizer (setProperty form cCommaSeparator, types) + | type_name.id_name=="_#List" + = writeWithinBrackets "[#" "]" file opt_beautifulizer (setProperty form cCommaSeparator, types) + | type_name.id_name=="_List!" + = writeWithinBrackets "[" "!]" file opt_beautifulizer (setProperty form cCommaSeparator, types) + | type_name.id_name=="_!List!" + = writeWithinBrackets "[!" "!]" file opt_beautifulizer (setProperty form cCommaSeparator, types) + | type_name.id_name=="_#List!" + = writeWithinBrackets "[#" "!]" file opt_beautifulizer (setProperty form cCommaSeparator, types) | is_lazy_array type_name = writeWithinBrackets "{" "}" file opt_beautifulizer (setProperty form cCommaSeparator, types) | is_strict_array type_name @@ -1225,7 +1235,6 @@ 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" |