github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-25 11:04:00 +03:00
Code Issues Projects Releases Wiki Activity

📝 ShowSum.

Browse Source
This commit is contained in:
Rob Rix 2019-10-08 15:42:21 -04:00
parent 78cc4835fc
commit a2312d1185
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
semantic-tags/src/AST/Element.hs
View File

@ -70,6 +70,7 @@ instance TypeError
prj' _ = Nothing prj' _ = Nothing
-- | Show a sum tree as a set (for use in type errors).
type family ShowSum t where type family ShowSum t where
ShowSum (l :+: r) = ShowSum' ('Text "{ ") (l :+: r) ':$$: 'Text "}" ShowSum (l :+: r) = ShowSum' ('Text "{ ") (l :+: r) ':$$: 'Text "}"
ShowSum t = 'Text "{ " ':<>: 'ShowType t ':<>: 'Text " }" ShowSum t = 'Text "{ " ':<>: 'ShowType t ':<>: 'Text " }"