From b69d3f8692b1d34f9b8616e046cdabe0d2fb67c0 Mon Sep 17 00:00:00 2001
From: Přemysl Eric Janouch <p@janouch.name>
Date: Wed, 7 May 2025 19:42:46 +0200
Subject: LibertyXDR: add support for default in unions

---
 libertyxdr.adoc | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'libertyxdr.adoc')

diff --git a/libertyxdr.adoc b/libertyxdr.adoc
index d3255ed..0002184 100644
--- a/libertyxdr.adoc
+++ b/libertyxdr.adoc
@@ -93,10 +93,12 @@ and always-present field, which must be a tag *enum*:
  case CAR:   void;
  case LORRY: i8 axles;
  case PLANE: i8 engines;
+ default:    void;
  };
 
-All possible enumeration values must be named, and there is no *case*
-fall-through.
+There is no *case* fall-through.
+Unless *default* is present, only the listed enumeration values are valid.
+Any *default* must currently be empty.
 
 Framing
 -------
-- 
cgit v1.2.3-70-g09d2