mirror of
https://github.com/github/semantic.git
synced 2024-12-22 14:21:31 +03:00
appease hlint
This commit is contained in:
parent
c8784ffab9
commit
19a7e0e4bd
@ -2,7 +2,6 @@
|
|||||||
module Analysis.Abstract.BadAddresses where
|
module Analysis.Abstract.BadAddresses where
|
||||||
|
|
||||||
import Control.Abstract.Analysis
|
import Control.Abstract.Analysis
|
||||||
import Data.Abstract.Evaluatable
|
|
||||||
import Analysis.Abstract.Evaluating
|
import Analysis.Abstract.Evaluating
|
||||||
import Prologue
|
import Prologue
|
||||||
|
|
||||||
@ -29,6 +28,6 @@ instance ( Effectful m
|
|||||||
\yield error -> do
|
\yield error -> do
|
||||||
traceM ("AddressError:" <> show error)
|
traceM ("AddressError:" <> show error)
|
||||||
case error of
|
case error of
|
||||||
(UninitializedAddress address) -> hole >>= yield)
|
(UninitializedAddress _) -> hole >>= yield)
|
||||||
|
|
||||||
analyzeModule = liftAnalyze analyzeModule
|
analyzeModule = liftAnalyze analyzeModule
|
||||||
|
Loading…
Reference in New Issue
Block a user