1
1
mirror of https://github.com/github/semantic.git synced 2024-11-29 02:44:36 +03:00

Move the definition of Term up.

This commit is contained in:
Rob Rix 2019-09-24 17:02:01 -04:00
parent a6010a1436
commit e5ecd7c849
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7

View File

@ -18,6 +18,12 @@ import Tags.Tag
import qualified Tags.Taggable.Precise as Tags import qualified Tags.Taggable.Precise as Tags
import qualified TreeSitter.Python.AST as Py import qualified TreeSitter.Python.AST as Py
newtype Term a = Term { getTerm :: Py.Module a }
instance Tags.ToTags Term where
tags = tags . getTerm
class ToTags t where class ToTags t where
tags tags
:: ( Carrier sig m :: ( Carrier sig m
@ -27,12 +33,6 @@ class ToTags t where
=> t Loc => t Loc
-> m () -> m ()
newtype Term a = Term { getTerm :: Py.Module a }
instance Tags.ToTags Term where
tags = tags . getTerm
instance (ToTagsBy strategy t, strategy ~ ToTagsInstance t) => ToTags t where instance (ToTagsBy strategy t, strategy ~ ToTagsInstance t) => ToTags t where
tags = tags' @strategy tags = tags' @strategy