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

Define ToTag at * -> *.

Browse Source
This commit is contained in:
Rob Rix 2019-09-23 17:47:10 -04:00
parent ca854d1b28
commit ea8d5a8817
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
semantic-tags/src/Tags/Taggable/Precise.hs
View File

@ -32,10 +32,10 @@ class ToTag t where
, Member (Reader Source) sig
, Member (Writer (Endo [Tag])) sig
)
=> t
=> t Loc
-> m ()
instance (ToTagBy strategy t, strategy ~ ToTagInstance t) => ToTag (t Loc) where
instance (ToTagBy strategy t, strategy ~ ToTagInstance t) => ToTag t where
tag = tag' @strategy
@ -58,7 +58,7 @@ type family ToTagInstance t :: Strategy where
ToTagInstance Py.Call = 'Custom
ToTagInstance _ = 'Generic
instance (ToTag (l Loc), ToTag (r Loc)) => ToTagBy 'Custom (l :+: r) where
instance (ToTag l, ToTag r) => ToTagBy 'Custom (l :+: r) where
tag' (L1 l) = tag l
tag' (R1 r) = tag r
@ -123,7 +123,7 @@ instance GToTag (K1 R t) where
instance GToTag Par1 where
gtag _ = pure ()
instance ToTag (t Loc) => GToTag (Rec1 t) where
instance ToTag t => GToTag (Rec1 t) where
gtag = tag . unRec1
instance (Foldable f, GToTag g) => GToTag (f :.: g) where