Build in compatibility with the old pretty API
authorTrevor Elliott <trevor@galois.com>
Sat, 24 Jan 2015 20:19:19 +0000 (12:19 -0800)
committerTrevor Elliott <trevor@galois.com>
Sat, 24 Jan 2015 20:19:19 +0000 (12:19 -0800)
commita1b780c5a3a335a369a7149c1145bdb8d0212aeb
treee8d987a8a12619d0a2b4baad7b8cc8cdb2e75394
parent49b786dcdc9add53ad494615ae6bbe4b263c9766
Build in compatibility with the old pretty API
src/Text/PrettyPrint/Annotated.hs [new file with mode: 0644]
src/Text/PrettyPrint/Annotated/HughesPJ.hs [new file with mode: 0644]
src/Text/PrettyPrint/Annotated/HughesPJClass.hs [new file with mode: 0644]
src/Text/PrettyPrint/HughesPJ.hs
src/Text/PrettyPrint/HughesPJClass.hs