github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 13:21:59 +03:00
Code Issues Projects Releases Wiki Activity

just don't export Trace at all

Browse Source
This commit is contained in:
Patrick Thomson 2018-05-08 12:06:34 -04:00
parent 484011666c
commit 2c4e3a0ca7
2 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Prologue.hs
View File

@ -26,8 +26,6 @@ import Data.Text as X (Text)
import Data.These as X import Data.These as X
import Data.Union as X import Data.Union as X
import Debug.Trace as X hiding (trace)
import Control.Exception as X hiding (Handler (..), assert, evaluate, throw, throwIO, throwTo) import Control.Exception as X hiding (Handler (..), assert, evaluate, throw, throwIO, throwTo)
-- Typeclasses -- Typeclasses

4
src/Semantic/Graph.hs
View File

@ -94,8 +94,8 @@ resumingResolutionError = runResolutionErrorWith (\ err -> raise (trace ("Resolu
resumingLoadError :: Evaluator location term value (Resumable (LoadError term) ': effects) a -> Evaluator location term value effects a resumingLoadError :: Evaluator location term value (Resumable (LoadError term) ': effects) a -> Evaluator location term value effects a
resumingLoadError = runLoadErrorWith (\ (LoadError _) -> pure []) resumingLoadError = runLoadErrorWith (\ (LoadError _) -> pure [])
resumingEvalError :: (AbstractHole value, Show value) => Evaluator location term value (Resumable (EvalError value) ': effects) a -> Evaluator location term value effects a resumingEvalError :: (AbstractHole value, Member Trace effects, Show value) => Evaluator location term value (Resumable (EvalError value) ': effects) a -> Evaluator location term value effects a
resumingEvalError = runEvalErrorWith (\ err -> traceM ("EvalError" <> show err) *> case err of resumingEvalError = runEvalErrorWith (\ err -> traceE ("EvalError" <> show err) *> case err of
EnvironmentLookupError{} -> pure hole EnvironmentLookupError{} -> pure hole
DefaultExportError{} -> pure () DefaultExportError{} -> pure ()
ExportError{} -> pure () ExportError{} -> pure ()