Commit 6afbfaa9 authored by Camil Staps's avatar Camil Staps 🐧

Clean.PrettyPrint: Qualified types and field names

parent d5e874b3
......@@ -112,7 +112,10 @@ where
= print st tv
print st (TFAC atvs t tc)
= print st ("(A." :+: join st " " atvs :+: ": " :+: t :+: " | " :+: join st " & " tc :+: ")")
//| TQualifiedIdent !Ident !String ![AType]
print st (TQualifiedIdent id s [])
= print st ("'" :+: id :+: "'." :+: s)
print st (TQualifiedIdent id s ats)
= print st ("('" :+: id :+: "'." :+: s :+: join_start st " " ats :+: ")")
//| TGenericFunctionInDictionary !(Global DefinedSymbol) !TypeKind !GlobalIndex /*GenericDict*/
//| TE
print st _
......
......@@ -41,7 +41,7 @@ where
name` = case name of
NoRecordName = ""
(RecordNameIdent id) = print st id +++ " | "
_ = abort "UNKNOWN_OPTIONALRECORDNAME"
(RecordNameQualifiedIdent mod s) = print st ("'" :+: mod :+: "'." :+: s) +++ " | "
print st (PE_ListCompr cons nil pe qs)
= print st ("[" :+: pe :+: " \\\\ " :+: join st ", " qs :+: "]")
print st (PE_If _ c i e)
......@@ -149,7 +149,7 @@ where
instance print FieldNameOrQualifiedFieldName
where
print st (FieldName id) = print st id
print st (QualifiedFieldName mod s) = abort "UNKNOWN_QUALIFIEDFIELDNAME"
print st (QualifiedFieldName mod s) = print st ("'" :+: mod :+: "'." :+: s)
// Case .. of
instance print CaseAlt
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment