From 5a2c12d6b26bd5f2c7e0ab75b44749acf1b788e0 Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Mon, 13 Feb 2017 10:33:13 +0100
Subject: erts: Correct the documentation of abstract end-of-file

The L in {eof, L} is not an annotation (LINE), but a location.
---
 erts/doc/src/absform.xml | 18 +++++++++++++-----
 1 file changed, 13 insertions(+), 5 deletions(-)

(limited to 'erts/doc')

diff --git a/erts/doc/src/absform.xml b/erts/doc/src/absform.xml
index fe8e3b30e7..ec00955ccd 100644
--- a/erts/doc/src/absform.xml
+++ b/erts/doc/src/absform.xml
@@ -4,7 +4,7 @@
 <chapter>
   <header>
     <copyright>
-      <year>2001</year><year>2016</year>
+      <year>2001</year><year>2017</year>
       <holder>Ericsson AB. All Rights Reserved.</holder>
     </copyright>
     <legalnotice>
@@ -182,10 +182,18 @@
         can contain the following:</p>
 
       <list type="bulleted">
-        <item>Tuples <c>{error,E}</c> and <c>{warning,W}</c>, denoting
-          syntactically incorrect forms and warnings</item>
-        <item><c>{eof,LINE}</c>, denoting an end-of-stream
-          encountered before a complete form had been parsed</item>
+        <item>
+          <p>Tuples <c>{error,E}</c> and <c>{warning,W}</c>, denoting
+            syntactically incorrect forms and warnings.
+          </p>
+        </item>
+        <item>
+          <p><c>{eof,LOCATION}</c>, denoting an end-of-stream
+            encountered before a complete form had been parsed.
+            The word <c>LOCATION</c> represents an integer, and denotes the
+            number of the last line in the source file.
+          </p>
+        </item>
       </list>
     </section>
   </section>
-- 
cgit v1.2.3