Switch jvm-parser package to use prettyprinter library.

Fixes #951.

Author: Brian Huffman

deps/jvm-parser

@@ -68,10 +68,6 @@ type instance MS.TypeName CJ.JVM = JIdent
 
 type instance MS.ExtType CJ.JVM = J.Type
 
--- TODO: remove when jvm-parser switches to prettyprinter
-instance PPL.Pretty J.Type where
-  pretty = PPL.viaShow
-
 --------------------------------------------------------------------------------
 -- *** JVMMethodId
 

src/SAWScript/Crucible/JVM/MethodSpecIR.hs

@@ -53,7 +53,7 @@ prettyField :: Field -> Doc ann
 prettyField f = hsep $
   [ viaShow (fieldVisibility f) ] ++
   attrs ++
-  [ viaShow (ppType (fieldType f)) -- TODO: Ick. Different PPs.
+  [ ppType (fieldType f)
   , pretty (fieldName f)
   ]
   where attrs = concat
@@ -67,12 +67,11 @@ prettyMethod :: Method -> Doc ann
 prettyMethod m =
   hsep $
   (if methodIsStatic m then ["static"] else []) ++
-  [ maybe "void" prettyType ret
+  [ maybe "void" ppType ret
   , pretty name
-  , (parens . commas . map prettyType) params
+  , (parens . commas . map ppType) params
   ]
   where (MethodKey name params ret) = methodKey m
-        prettyType = viaShow . ppType -- TODO: Ick.
 
 commas :: [Doc ann] -> Doc ann
 commas = sep . punctuate comma