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

We don’t actually need Trace here.

Browse Source
This commit is contained in:
Rob Rix 2018-07-13 09:22:56 -04:00
parent 992cb0a404
commit 7eec6d7d88
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/Control/Abstract/Evaluator/Spec.hs
View File

@ -37,7 +37,6 @@ evaluate
. runValueError . runValueError
. runEnvironmentError . runEnvironmentError
. runAddressError . runAddressError
. runIgnoringTrace
. runAllocator @Precise @_ @Val . runAllocator @Precise @_ @Val
. (>>= deref . snd) . (>>= deref . snd)
. runEnv lowerBound . runEnv lowerBound
@ -53,7 +52,6 @@ newtype SpecEff a = SpecEff
, Exc (Return Precise) , Exc (Return Precise)
, Env Precise , Env Precise
, Allocator Precise Val , Allocator Precise Val
, Trace
, Resumable (AddressError Precise Val) , Resumable (AddressError Precise Val)
, Resumable (EnvironmentError Precise) , Resumable (EnvironmentError Precise)
, Resumable (ValueError Precise SpecEff) , Resumable (ValueError Precise SpecEff)