diff options
Diffstat (limited to 'tools/Scanner/Parser.lean')
| -rw-r--r-- | tools/Scanner/Parser.lean | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/Scanner/Parser.lean b/tools/Scanner/Parser.lean index f89c239..5ee867b 100644 --- a/tools/Scanner/Parser.lean +++ b/tools/Scanner/Parser.lean @@ -93,9 +93,10 @@ private def ArgumentType.ofString : String → Except String ArgumentType private def processDescription (el : Xml.Element) : Except String Description := do el.ensureName "description" + let body := el.textContent return { summary := el.getAttribute "summary" - body := el.textContent + body := if body.isEmpty then .none else .some body } private def processEnumEntry (el : Xml.Element) : Except String EnumEntryDesc := do |