    -- |
    -- 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)