-pvte (v,t,e) = sep [pname v <+> text "::" <+> pty t <+> char '=',
+pvdef :: Vdef -> Doc
+-- TODO: Think about whether %local annotations are actually needed.
+-- Right now, the local flag is never used, because the Core doc doesn't
+-- explain the meaning of %local.
+pvdef (_l,v,t,e) = sep [(pqname v <+> text "::" <+> pty t <+> char '='),