1
------------------------------------------------------------------------
2
-- Pretty-printing of Haskell modules
3
------------------------------------------------------------------------
5
module Agda.Compiler.MAlonzo.Pretty where
8
import qualified Language.Haskell.Pretty as Pretty
9
import Language.Haskell.Syntax
11
import Agda.Compiler.MAlonzo.Encode
13
-- | Inserts disambiguating parentheses and encodes module names just
14
-- before pretty-printing.
16
prettyPrint :: (Pretty.Pretty a, Data a) => a -> String
17
prettyPrint = Pretty.prettyPrint .
18
everywhere (mkT HsParen) .
19
everywhere (mkT encodeModuleName)