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

revert Language.LANGUAGE files to original state

Browse Source
This commit is contained in:
Ayman Nadeem 2020-05-07 11:42:12 -04:00
parent 72d8ad5792
commit 7700575a58
9 changed files with 17 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
semantic-codeql/src/Language/CodeQL.hs
View File

@ -4,7 +4,6 @@ module Language.CodeQL
, TreeSitter.QL.tree_sitter_ql
) where
import qualified AST.Parse as Parse
import qualified AST.Unmarshal as TS
import Data.Proxy
import qualified Language.CodeQL.AST as CodeQL
@ -12,7 +11,7 @@ import qualified Language.CodeQL.Tags as CodeQLTags
import qualified Tags.Tagging.Precise as Tags
import qualified TreeSitter.QL (tree_sitter_ql)
newtype Term a = Term { getTerm :: CodeQL.Ql Err a }
newtype Term a = Term { getTerm :: CodeQL.Ql a }
instance TS.SymbolMatching Term where
matchedSymbols _ = TS.matchedSymbols (Proxy :: Proxy CodeQL.Ql)

6
semantic-go/src/Language/Go.hs
View File

@ -4,15 +4,15 @@ module Language.Go
, Language.Go.Grammar.tree_sitter_go
) where
import qualified AST.Parse as Parse
import qualified AST.Unmarshal as TS
import Data.Proxy
import qualified Language.Go.AST as Go
import qualified Language.Go.Tags as GoTags
import qualified Tags.Tagging.Precise as Tags
import qualified Language.Go.Grammar (tree_sitter_go)
import qualified AST.Unmarshal as TS
newtype Term a = Term { getTerm :: Go.SourceFile Err a }
newtype Term a = Term { getTerm :: Go.SourceFile a }
instance TS.SymbolMatching Term where
matchedSymbols _ = TS.matchedSymbols (Proxy :: Proxy Go.SourceFile)

5
semantic-java/src/Language/Java.hs
View File

@ -4,15 +4,14 @@ module Language.Java
, Language.Java.Grammar.tree_sitter_java
) where
import qualified AST.Parse as Parse
import qualified AST.Unmarshal as TS
import Data.Proxy
import qualified Language.Java.AST as Java
import qualified Language.Java.Tags as JavaTags
import qualified Tags.Tagging.Precise as Tags
import qualified Language.Java.Grammar (tree_sitter_java)
import qualified AST.Unmarshal as TS
newtype Term a = Term { getTerm :: Java.Program Err a }
newtype Term a = Term { getTerm :: Java.Program a }
instance TS.SymbolMatching Term where
matchedSymbols _ = TS.matchedSymbols (Proxy :: Proxy Java.Program)

10
semantic-json/src/Language/JSON.hs
View File

@ -4,19 +4,17 @@ module Language.JSON
, TreeSitter.JSON.tree_sitter_json
) where
import qualified AST.Parse as Parse
import qualified AST.Unmarshal as TS
import Data.Functor.Identity
import Data.Proxy
import qualified Language.JSON.AST as JSON
import qualified Tags.Tagging.Precise as Tags
import qualified TreeSitter.JSON (tree_sitter_json)
import qualified AST.Unmarshal as TS
newtype Term a = Term { getTerm :: JSON.Document Err a }
newtype Term a = Term { getTerm :: JSON.Document a }
instance TS.SymbolMatching Term where
matchedSymbols _ = TS.matchedSymbols (Proxy :: Proxy (JSON.Document Identity))
showFailure _ = TS.showFailure (Proxy :: Proxy (JSON.Document Identity))
matchedSymbols _ = TS.matchedSymbols (Proxy :: Proxy JSON.Document)
showFailure _ = TS.showFailure (Proxy :: Proxy JSON.Document)
instance TS.Unmarshal Term where
matchers = fmap (fmap (TS.hoist Term)) TS.matchers

3
semantic-php/src/Language/PHP.hs
View File

@ -4,7 +4,6 @@ module Language.PHP
, TreeSitter.PHP.tree_sitter_php
) where
import qualified AST.Parse as Parse
import qualified AST.Unmarshal as TS
import Data.Proxy
import qualified Language.PHP.AST as PHP
@ -12,7 +11,7 @@ import qualified Language.PHP.Tags as PHPTags
import qualified Tags.Tagging.Precise as Tags
import qualified TreeSitter.PHP (tree_sitter_php)
newtype Term a = Term { getTerm :: PHP.Program Err a }
newtype Term a = Term { getTerm :: PHP.Program a }
instance TS.SymbolMatching Term where
matchedSymbols _ = TS.matchedSymbols (Proxy :: Proxy PHP.Program)

3
semantic-python/src/Language/Python.hs
View File

@ -4,7 +4,6 @@ module Language.Python
, Language.Python.Grammar.tree_sitter_python
) where
import qualified AST.Parse as Parse
import qualified AST.Unmarshal as TS
import Data.Proxy
import qualified Language.Python.AST as Py
@ -14,7 +13,7 @@ import qualified Language.Python.Tags as PyTags
import Scope.Graph.Convert
import qualified Tags.Tagging.Precise as Tags
newtype Term a = Term { getTerm :: Py.Module Err a }
newtype Term a = Term { getTerm :: Py.Module a }
instance TS.SymbolMatching Term where
matchedSymbols _ = TS.matchedSymbols (Proxy :: Proxy Py.Module)

3
semantic-ruby/src/Language/Ruby.hs
View File

@ -6,7 +6,6 @@ module Language.Ruby
, Language.Ruby.Grammar.tree_sitter_ruby
) where
import qualified AST.Parse as Parse
import qualified AST.Unmarshal as TS
import Control.Carrier.State.Strict
import Data.Proxy
@ -16,7 +15,7 @@ import qualified Language.Ruby.Grammar (tree_sitter_ruby)
import qualified Language.Ruby.Tags as RbTags
import qualified Tags.Tagging.Precise as Tags
newtype Term a = Term { getTerm :: Rb.Program Parse.Err a }
newtype Term a = Term { getTerm :: Rb.Program a }
instance TS.SymbolMatching Term where
matchedSymbols _ = TS.matchedSymbols (Proxy :: Proxy Rb.Program)

5
semantic-tsx/src/Language/TSX.hs
View File

@ -5,15 +5,14 @@ module Language.TSX
, Language.TSX.Grammar.tree_sitter_tsx
) where
import qualified AST.Parse as Parse
import qualified AST.Unmarshal as TS
import Data.Proxy
import qualified Language.TSX.AST as TSX
import qualified Language.TSX.Tags as TsxTags
import qualified Tags.Tagging.Precise as Tags
import qualified Language.TSX.Grammar (tree_sitter_tsx)
import qualified AST.Unmarshal as TS
newtype Term a = Term { getTerm :: TSX.Program Err a }
newtype Term a = Term { getTerm :: TSX.Program a }
instance TS.SymbolMatching Term where
matchedSymbols _ = TS.matchedSymbols (Proxy :: Proxy TSX.Program)

5
semantic-typescript/src/Language/TypeScript.hs
View File

@ -5,15 +5,14 @@ module Language.TypeScript
, Language.TypeScript.Grammar.tree_sitter_typescript
) where
import qualified AST.Parse as Parse
import qualified AST.Unmarshal as TS
import Data.Proxy
import qualified Language.TypeScript.AST as TypeScript
import qualified Language.TypeScript.Tags as TsTags
import qualified Tags.Tagging.Precise as Tags
import qualified Language.TypeScript.Grammar (tree_sitter_typescript)
import qualified AST.Unmarshal as TS
newtype Term a = Term { getTerm :: TypeScript.Program Err a }
newtype Term a = Term { getTerm :: TypeScript.Program a }
instance TS.SymbolMatching Term where
matchedSymbols _ = TS.matchedSymbols (Proxy :: Proxy TypeScript.Program)