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

Move Term into Language.Python.

Browse Source
This commit is contained in:
Rob Rix 2019-09-25 12:04:13 -04:00
parent a0e723a22d
commit f33e678c7a
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
2 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
semantic-tags/src/Language/Python.hs
View File

@ -1,2 +1,12 @@
module Language.Python module Language.Python
() where ( Term(..)
) where
import qualified Language.Python.Tags as PyTags
import qualified Tags.Tagging.Precise as Tags
import qualified TreeSitter.Python.AST as Py
newtype Term a = Term { getTerm :: Py.Module a }
instance Tags.ToTags Term where
tags src = Tags.runTagging src . PyTags.tags . getTerm

8
semantic-tags/src/Language/Python/Tags.hs
View File

@ -1,6 +1,6 @@
{-# LANGUAGE AllowAmbiguousTypes, DataKinds, DisambiguateRecordFields, FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, NamedFieldPuns, ScopedTypeVariables, TypeApplications, TypeFamilies, TypeOperators, UndecidableInstances #-} {-# LANGUAGE AllowAmbiguousTypes, DataKinds, DisambiguateRecordFields, FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, NamedFieldPuns, ScopedTypeVariables, TypeApplications, TypeFamilies, TypeOperators, UndecidableInstances #-}
module Language.Python.Tags module Language.Python.Tags
( Term(..) ( ToTags(..)
) where ) where
import Control.Effect.Reader import Control.Effect.Reader
@ -18,12 +18,6 @@ import Tags.Tag
import qualified Tags.Tagging.Precise as Tags import qualified Tags.Tagging.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 src = Tags.runTagging src . tags . getTerm
class ToTags t where class ToTags t where
tags tags
:: ( Carrier sig m :: ( Carrier sig m