hermit-0.1.8.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone

Language.HERMIT.PrettyPrinter.GHC

Contents

Description

Output the raw Expr constructors. Helpful for writing pattern matching rewrites.

Synopsis

GHC's standard Pretty-Printer for GHC Core

corePrettyH :: PrettyOptions -> PrettyH CoreSource

This pretty printer is just a reflection of GHC's standard pretty printer.