diff options
| -rw-r--r-- | doc/il.txt | 7 |
1 files 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 } |