-- | -- Module : Cryptol.Utils.Debug -- Copyright : (c) 2013-2016 Galois, Inc. -- License : BSD3 -- Maintainer : cryptol@galois.com -- Stability : provisional -- Portability : portable module Cryptol.Utils.Debug where import Cryptol.Utils.PP import qualified Debug.Trace as X trace :: String -> b -> b trace :: forall b. String -> b -> b trace = String -> b -> b forall b. String -> b -> b X.trace ppTrace :: Doc -> b -> b ppTrace :: forall b. Doc -> b -> b ppTrace Doc d = String -> b -> b forall b. String -> b -> b trace (Doc -> String forall a. Show a => a -> String show Doc d)