search

ku-fpg / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel
http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT
BSD 2-Clause "Simplified" License
49 stars 8 forks source link

Tweaking pretty-printing options from Haskell code #164

Closed conal closed 8 years ago

conal commented 8 years ago

How can I change pretty-printing options using just Haskell code rather than HERMIT script? I'm starting to wrap monomorphization as non-interactive HERMIT-based plugin, and I'd still sometimes like to see output from observeR.

conal commented 8 years ago

Oh! I just noticed setPrettyOptions in HERMIT.Plugin. Never mind.