Add annotations to the Doc type
authorTrevor Elliott <trevor@galois.com>
Sat, 24 Jan 2015 18:29:20 +0000 (10:29 -0800)
committerTrevor Elliott <trevor@galois.com>
Sat, 24 Jan 2015 18:29:20 +0000 (10:29 -0800)
commit49b786dcdc9add53ad494615ae6bbe4b263c9766
tree5a28a9cd64a5c595d45a1956ba5c81a05b104eb7
parente34ba99e109259b66f188bb25c2cfe3bca664522
Add annotations to the Doc type

 * Parameterize the Doc type by the type of annotations present
 * Add the Span type for describing annotated regions in the resulting String
 * Add renderSpans, and fullRenderAnn, for rendering with annotations
src/Text/PrettyPrint/HughesPJ.hs
src/Text/PrettyPrint/HughesPJClass.hs