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

📝 Named.

Browse Source
This commit is contained in:
Rob Rix 2019-07-02 11:58:39 -04:00
parent e1158d89bc
commit 48aad70f9f
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-core/src/Data/Name.hs
View File

@ -66,6 +66,7 @@ instance Pretty Name where
User n -> pretty n
-- | A newtype around 'User' which doesn’t affect alpha-equivalence. This is ensured by treating all comparisons between 'Named' values as equal.
newtype Named = Named User
deriving (Show)