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

Update tests

Browse Source
This commit is contained in:
Rick Winfrey 2018-08-06 15:10:59 -07:00
parent 5ecb611d48
commit 00a24473c7
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/SpecHelpers.hs
View File

@ -103,7 +103,7 @@ type TestEvaluatingEffects = '[ Resumable (BaseError (ValueError Precise UtilEff
, Resumable (BaseError EvalError) , Resumable (BaseError EvalError)
, Resumable (BaseError (EnvironmentError Precise)) , Resumable (BaseError (EnvironmentError Precise))
, Resumable (BaseError (UnspecializedError Val)) , Resumable (BaseError (UnspecializedError Val))
, Resumable (LoadError Precise) , Resumable (BaseError (LoadError Precise))
, Trace , Trace
, Fresh , Fresh
, State (Heap Precise Latest Val) , State (Heap Precise Latest Val)
@ -115,7 +115,7 @@ type TestEvaluatingErrors = '[ BaseError (ValueError Precise UtilEff)
, BaseError EvalError , BaseError EvalError
, BaseError (EnvironmentError Precise) , BaseError (EnvironmentError Precise)
, BaseError (UnspecializedError Val) , BaseError (UnspecializedError Val)
, LoadError Precise , BaseError (LoadError Precise)
] ]
testEvaluating :: Evaluator Precise Val TestEvaluatingEffects (ModuleTable (NonEmpty (Module (ModuleResult Precise)))) testEvaluating :: Evaluator Precise Val TestEvaluatingEffects (ModuleTable (NonEmpty (Module (ModuleResult Precise))))
-> IO -> IO