github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 06:11:49 +03:00
Code Issues Projects Releases Wiki Activity

TypeScript eval helpers

Browse Source
This commit is contained in:
Timothy Clem 2018-03-06 08:56:29 -08:00
parent eecbe4bb45
commit 19b47833cd
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/Semantic/Util.hs
View File

@ -24,9 +24,11 @@ import Semantic.Task
import qualified Language.Ruby.Assignment as Ruby import qualified Language.Ruby.Assignment as Ruby
import qualified Language.Python.Assignment as Python import qualified Language.Python.Assignment as Python
import qualified Language.TypeScript.Assignment as TypeScript
type RubyValue = Value Precise (Term (Union Ruby.Syntax) (Record Location)) type RubyValue = Value Precise (Term (Union Ruby.Syntax) (Record Location))
type PythonValue = Value Precise (Term (Union Python.Syntax) (Record Location)) type PythonValue = Value Precise (Term (Union Python.Syntax) (Record Location))
type TypeScriptValue = Value Precise (Term (Union TypeScript.Syntax) (Record Location))
file :: MonadIO m => FilePath -> m Blob file :: MonadIO m => FilePath -> m Blob
file path = fromJust <$> IO.readFile path (languageForFilePath path) file path = fromJust <$> IO.readFile path (languageForFilePath path)
@ -40,7 +42,6 @@ evaluateRubyFiles paths = do
(t:ts) <- runTask $ traverse (parse rubyParser) blobs (t:ts) <- runTask $ traverse (parse rubyParser) blobs
pure $ evaluates @RubyValue (zip bs ts) (b, t) pure $ evaluates @RubyValue (zip bs ts) (b, t)
-- Python -- Python
evaluatePythonFile path = evaluate @PythonValue <$> evaluatePythonFile path = evaluate @PythonValue <$>
(file path >>= runTask . parse pythonParser) (file path >>= runTask . parse pythonParser)
@ -50,6 +51,15 @@ evaluatePythonFiles paths = do
(t:ts) <- runTask $ traverse (parse pythonParser) blobs (t:ts) <- runTask $ traverse (parse pythonParser) blobs
pure $ evaluates @PythonValue (zip bs ts) (b, t) pure $ evaluates @PythonValue (zip bs ts) (b, t)
-- TypeScript
evaluateTypeScriptFile path = Prelude.fst . evaluate @TypeScriptValue <$>
(file path >>= runTask . parse typescriptParser)
evaluateTypeScriptFiles paths = do
blobs@(b:bs) <- traverse file paths
(t:ts) <- runTask $ traverse (parse typescriptParser) blobs
pure $ evaluates @TypeScriptValue (zip bs ts) (b, t)
-- Diff helpers -- Diff helpers
diffWithParser :: (HasField fields Data.Span.Span, diffWithParser :: (HasField fields Data.Span.Span,