diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-05 16:15:03 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-05 16:15:03 +0200 |
| commit | 1f5491a5af7bd0f1ec4046994d6344886465cba5 (patch) | |
| tree | 9ca3af2221cdbc302b932b67965791a8065699a9 /tools/Scanner/Parser.lean | |
| parent | ad4d34bba7671fdf75850a312c7eeeaeb990a9d3 (diff) | |
initial codegen
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 |