github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-25 07:55:12 +03:00
Code Issues Projects Releases Wiki Activity

Fix up the specs.

Browse Source
This commit is contained in:
Rob Rix 2018-08-03 14:14:08 -04:00
parent 6d5e7796d5
commit 8c9debbd17
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/Graphing/Calls/Spec.hs
View File

@ -22,7 +22,7 @@ callGraphPythonProject paths = runTaskWithOptions defaultOptions $ do
let proxy = Proxy @'Language.Python
let lang = Language.Python
blobs <- catMaybes <$> traverse readFile (flip File lang <$> paths)
package <- parsePackage pythonParser (Project (takeDirectory (maybe "/" fst (uncons paths))) blobs lang [])
package <- fmap snd <$> parsePackage pythonParser (Project (takeDirectory (maybe "/" fst (uncons paths))) blobs lang [])
modules <- topologicalSort <$> runImportGraphToModules proxy package
runCallGraph proxy False modules package

8
test/SpecHelpers.hs
View File

@ -96,7 +96,7 @@ readFilePair :: Both FilePath -> IO BlobPair
readFilePair paths = let paths' = fmap file paths in
runBothWith IO.readFilePair paths'
type TestEvaluatingEffects rest
type TestEvaluatingEffects
= '[ Resumable (ValueError Precise (UtilEff Precise '[Trace, Lift IO]))
, Resumable (AddressError Precise Val)
, Resumable ResolutionError
@ -109,7 +109,7 @@ type TestEvaluatingEffects rest
, Trace
, Lift IO
]
type TestEvaluatingErrors = '[ ValueError Precise (UtilEff Precise)
type TestEvaluatingErrors = '[ ValueError Precise (UtilEff Precise '[Trace, Lift IO])
, AddressError Precise Val
, ResolutionError
, EvalError
@ -137,9 +137,9 @@ testEvaluating
. runEvalError
. runResolutionError
. runAddressError
. runValueError @_ @Precise @(UtilEff Precise)
. runValueError @_ @Precise @(UtilEff Precise _)
type Val = Value Precise (UtilEff Precise)
type Val = Value Precise (UtilEff Precise '[Trace, Lift IO])
deNamespace :: Heap Precise (Cell Precise) (Value Precise term)