From 434db188e322e385fe8ed9a0f817312053245e7c Mon Sep 17 00:00:00 2001 From: Jason Francis Date: Sun, 23 Apr 2023 21:27:42 -0400 Subject: [PATCH] parser: ignore `boxed` elements These are mostly an obsolete synonym for opaque `record` types that are barely used. Just silence the warning when encountering one. --- src/parser.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/parser.rs b/src/parser.rs index 2bfa5e50a..7e3fbe4ca 100644 --- a/src/parser.rs +++ b/src/parser.rs @@ -140,7 +140,7 @@ impl Library { "function" => self.read_global_function(parser, ns_id, elem), "constant" => self.read_constant(parser, ns_id, elem), "alias" => self.read_alias(parser, ns_id, elem), - "function-macro" | "docsection" => parser.ignore_element(), + "boxed" | "function-macro" | "docsection" => parser.ignore_element(), _ => { warn!("<{} name={:?}>", elem.name(), elem.attr("name")); parser.ignore_element()