From cf9f2e8ef7e775bcedf74b70a3dd35962484f1f1 Mon Sep 17 00:00:00 2001
From: Michael Forney <mforney@mforney.org>
Date: Wed, 20 Feb 2019 12:57:04 -0800
Subject: [PATCH] doc: Aggregate types can be nested

---
 doc/il.txt | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/doc/il.txt b/doc/il.txt
index edc5557..a496759 100644
--- a/doc/il.txt
+++ b/doc/il.txt
@@ -215,16 +215,17 @@ using the `export` keyword.
         # Regular type
         'type' :IDENT '=' ['align' NUMBER]
         '{'
-            ( EXTTY [NUMBER] ),
+            ( SUBTY [NUMBER] ),
         '}'
       | # Opaque type
         'type' :IDENT '=' 'align' NUMBER '{' NUMBER '}'
 
+    SUBTY := EXTTY | :IDENT
+
 Aggregate type definitions start with the `type` keyword.
 They have file scope, but types must be defined before being
 referenced.  The inner structure of a type is expressed by a
-comma-separated list of <@ Simple Types> enclosed in curly
-braces.
+comma-separated list of types enclosed in curly braces.
 
     type :fourfloats = { s, s, d, d }