-- | -- 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 = forall b. String -> b -> b X.trace ppTrace :: Doc -> b -> b ppTrace :: forall b. Doc -> b -> b ppTrace Doc d = forall b. String -> b -> b trace (forall a. Show a => a -> String show Doc d)