add JSON Grammar datatype

semantic-json/src/Language/JSON.hs

@@ -1,13 +1,13 @@
 -- | Semantic functionality for JSON programs.
 module Language.JSON
 ( Term(..)
-, TreeSitter.JSON.tree_sitter_json
+, Language.JSON.Grammar.tree_sitter_json
 ) where
 
 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 Language.JSON.Grammar (tree_sitter_json)
 import qualified AST.Unmarshal as TS
 
 newtype Term a = Term { getTerm :: JSON.Document a }

semantic-json/src/Language/JSON/AST.hs

@@ -15,6 +15,6 @@ module Language.JSON.AST
 
 import           Prelude hiding (String)
 import           AST.GenerateSyntax
-import qualified TreeSitter.JSON as Grammar
+import qualified Language.JSON.Grammar as Grammar
 
 astDeclarationsForLanguage Grammar.tree_sitter_json "../../../vendor/tree-sitter-json/src/node-types.json"

semantic-json/src/Language/JSON/Grammar.hs

@@ -0,0 +1,15 @@
+{-# LANGUAGE TemplateHaskell #-}
+module Language.JSON.Grammar
+( tree_sitter_json
+, Grammar(..)
+) where
+
+import Language.Haskell.TH
+import TreeSitter.JSON.Internal
+import TreeSitter.Language
+
+-- Regenerate template haskell code when these files change:
+addDependentFileRelative "../../../vendor/tree-sitter-json/src/parser.c"
+
+-- | Statically-known rules corresponding to symbols in the grammar.
+mkSymbolDatatype (mkName "Grammar") tree_sitter_json

test/Parsing/Spec.hs

@@ -10,7 +10,7 @@ import           Parsing.TreeSitter
 import           Source.Source
 import           SpecHelpers
 import qualified System.Path as Path
-import           TreeSitter.JSON (Grammar, tree_sitter_json)
+import           Language.JSON.Grammar (Grammar, tree_sitter_json)
 
 spec :: Spec
 spec = do