From 209711413b989f05c039b6d5bd6acfb888b54b5a Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 24 Jul 2016 21:29:06 +0200
Subject: Update STYLE file.

---
 STYLE | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/STYLE b/STYLE
index 3573e7b20..448e0ef6b 100644
--- a/STYLE
+++ b/STYLE
@@ -7,11 +7,17 @@ Allowed Ada93 features: the standard library, child packages.
 Use assertions.
 
 We try to follow the 'GNU Coding Standards' when possible: comments before
-declarations, two spaces end of sentences...
+declarations, two spaces at end of sentences, finish sentences with a dot.
 But: 3 spaces for indentation.
 
 No trailing spaces, not TAB (HT).
 
+Subprograms must have a comment before to describe it, like:
+   --  Analyze the concurrent statements of PARENT.
+   procedure Sem_Concurrent_Statement_Chain (Parent : Iir);
+The line before the comment must be a blank line (unless this is the first
+declaration).  Don't repeat the comment before the subprogram body.
+
 * For subprograms:
 1) Declare on one line when possible:
    function Translate_Static_Aggregate (Aggr : Iir) return O_Cnode
-- 
cgit v1.2.3