From 42364fda59804183430aca21495538b565908da7 Mon Sep 17 00:00:00 2001
From: Jakob Stoklund Olesen <jolesen@mozilla.com>
Date: Thu, 28 Apr 2016 12:57:40 -0700
Subject: [PATCH] Add top-level productions to language reference.

---
 docs/langref.rst | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/docs/langref.rst b/docs/langref.rst
index 2cad2999c6..0851ea8fcd 100644
--- a/docs/langref.rst
+++ b/docs/langref.rst
@@ -1,6 +1,6 @@
-****************************************
-Cretonne Intermediate Language Reference
-****************************************
+***************************
+Cretonne Language Reference
+***************************
 
 .. default-domain:: cton
 .. highlight:: cton
@@ -45,6 +45,15 @@ After the preample follows the :term:`function body` which consists of
 block`. Every EBB ends with a :term:`terminator instruction`, so execution can
 never fall through to the next EBB without an explicit branch.
 
+A ``.cton`` file consists of a sequence of independent function definitions:
+
+.. productionlist::
+    function-list : { function }
+    function      : function-spec "{" preample function-body "}"
+    function-spec : "function" function-name signature
+    preamble      : { preamble-decl }
+    function-body : { extended-basic-block }
+
 Static single assignment form
 -----------------------------