(w: &mut W, ast: &pr::ModuleDef)
| 273 | } |
| 274 | |
| 275 | fn write_repr_pr<W: Write>(w: &mut W, ast: &pr::ModuleDef) -> Result { |
| 276 | writeln!(w, r#"<div class="pr repr">"#)?; |
| 277 | |
| 278 | let json = serde_json::to_string(ast).unwrap(); |
| 279 | let json_node: serde_json::Value = serde_json::from_str(&json).unwrap(); |
| 280 | write_json_ast_node(w, json_node, false)?; |
| 281 | |
| 282 | writeln!(w, "</div>") |
| 283 | } |
| 284 | |
| 285 | fn write_repr_pl<W: Write>(w: &mut W, ast: &pl::ModuleDef) -> Result { |
| 286 | writeln!(w, r#"<div class="pl repr">"#)?; |
no test coverage detected