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

Reuse UtilEff.

Browse Source
This commit is contained in:
Rob Rix 2018-06-21 13:46:28 -04:00
parent 3c537e3337
commit 6abd29a65d
1 changed files with 5 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
test/SpecHelpers.hs
View File

@ -9,7 +9,6 @@ module SpecHelpers
, derefQName
, verbatim
, TermEvaluator(..)
, TestEff(..)
, Verbatim(..)
) where
@ -81,7 +80,7 @@ readFilePair paths = let paths' = fmap file paths in
testEvaluating :: Evaluator Precise
Val
'[ Resumable (ValueError Precise TestEff)
'[ Resumable (ValueError Precise (UtilEff Precise))
, Resumable (AddressError Precise Val)
, Resumable EvalError, Resumable (EnvironmentError Precise)
, Resumable ResolutionError
@ -95,7 +94,7 @@ testEvaluating :: Evaluator Precise
-> ((Either
(SomeExc
(Data.Sum.Sum
'[ ValueError Precise TestEff
'[ ValueError Precise (UtilEff Precise)
, AddressError Precise Val
, EvalError
, EnvironmentError Precise
@ -103,7 +102,7 @@ testEvaluating :: Evaluator Precise
, Unspecialized Val
, LoadError Precise
]))
[(Value Precise TestEff, Environment Precise)],
[(Value Precise (UtilEff Precise), Environment Precise)],
Heap Precise Latest Val),
[String])
testEvaluating
@ -118,31 +117,10 @@ testEvaluating
. runEnvironmentError
. runEvalError
. runAddressError
. runValueError @_ @Precise @TestEff
. runValueError @_ @Precise @(UtilEff Precise)
. (>>= traverse deref1)
type Val = Value Precise TestEff
newtype TestEff a = TestEff
{ runTestEff :: Eff '[ LoopControl Precise
, Return Precise
, Env Precise
, Allocator Precise Val
, Reader ModuleInfo
, Modules Precise
, Reader Span
, Reader PackageInfo
, Resumable (ValueError Precise TestEff)
, Resumable (AddressError Precise Val)
, Resumable EvalError
, Resumable (EnvironmentError Precise)
, Resumable ResolutionError
, Resumable (Unspecialized Val)
, Resumable (LoadError Precise)
, Fresh
, State (Heap Precise Latest Val)
, Trace
] a
}
type Val = Value Precise (UtilEff Precise)
deref1 (ptr, env) = runAllocator $ do
val <- deref ptr