summary refs log tree commit diff
path: root/doc/il.txt
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-08 14:46:06 -0500
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-08 14:46:06 -0500
commit1ae7f20cfe716ff82927ccab2cdfa95af19b9157 (patch)
treecf6e67b5289578644a149e6d13ffcb313d6ae533 /doc/il.txt
parent30f71a43fc20592141992c550c6d26315b51bc5a (diff)
downloadroux-1ae7f20cfe716ff82927ccab2cdfa95af19b9157.tar.gz
fix indent in BNF block
Diffstat (limited to 'doc/il.txt')
-rw-r--r--doc/il.txt26
1 files changed, 13 insertions, 13 deletions
diff --git a/doc/il.txt b/doc/il.txt
index eef0378..4814174 100644
--- a/doc/il.txt
+++ b/doc/il.txt
@@ -152,19 +152,19 @@ their size between curly braces.
 ~ Data
 ~~~~~~
 
-   [BNF]
-   DATADEF :=
-     ['export'] 'data' $IDNT '='
-     '{'
-         ( EXTTY DATAITEM+
-         | 'z'   NUMBER    ),
-         [ ',' ]            # Optional trailing ,
-     '}'
-
-   DATAITEM :=
-     $IDNT [ '+' NUMBER ]   # Symbol and offset
-   |  '"' ... '"'           # String
-   |  IMMEDIATE             # Immediate
+    [BNF]
+    DATADEF :=
+      ['export'] 'data' $IDNT '='
+      '{'
+          ( EXTTY DATAITEM+
+          | 'z'   NUMBER    ),
+          [ ',' ]            # Optional trailing ,
+      '}'
+
+    DATAITEM :=
+      $IDNT [ '+' NUMBER ]   # Symbol and offset
+    |  '"' ... '"'           # String
+    |  IMMEDIATE             # Immediate
 
 Data definitions define objects that will be emitted in the
 compiled file.  They can be local to the file or exported