summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-10 16:16:19 -0500
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-03-10 16:16:19 -0500
commite616988515f95dbe6d8c1436c2fe265583d44144 (patch)
tree95e2204b45d97f85f17cbf57437259972f301f6c /doc
parentff9990ed6ff0e2422705862b2e9ae885fd277060 (diff)
downloadroux-e616988515f95dbe6d8c1436c2fe265583d44144.tar.gz
move constant section higher
Diffstat (limited to 'doc')
-rw-r--r--doc/il.txt14
1 files changed, 7 insertions, 7 deletions
diff --git a/doc/il.txt b/doc/il.txt
index 24a2af8..8268c8c 100644
--- a/doc/il.txt
+++ b/doc/il.txt
@@ -14,17 +14,17 @@
   2. <@ Types >
       * <@ Simple Types >
       * <@ Subtyping >
-  3. <@ Definitions >
+  3. Immediate Constants
+      * Semantics
+      * Floating Sugar
+  4. <@ Definitions >
       * <@ Aggregate Types >
       * <@ Data >
       * <@ Functions >
-  4. <@ Control >
+  5. <@ Control >
       * <@ Blocks >
       * <@ Instructions >
       * <@ Jumps >
-  5. Immediate Constants
-      * Semantics
-      * Floating Sugar
   6. Integer Instructions
       * Arithmetic
       * Memory
@@ -150,7 +150,7 @@ value could very well be zeroes or the result of a sign
 extension of the word.
 
 
-- 3. Definitions
+- 4. Definitions
 ----------------
 
 Definitions are the essential components of an IL file.
@@ -306,7 +306,7 @@ is provided in the call instructions.
 The syntax and semantics for the body of functions
 is described in the <@ Control > section.
 
-- 4. Control
+- 5. Control
 ------------
 
 The IL represents programs as textual transcriptions of