[eeps] Commit: r36 - eeps/trunk

Fri Jul 11 15:56:53 CEST 2008

Author: raimo
Date: 2008-07-11 15:39:49 +0200 (Fri, 11 Jul 2008)
New Revision: 36

Added:
   eeps/trunk/eep-0012-1.diff
   eeps/trunk/eep-0012.txt
   eeps/trunk/eep-0013.txt
   eeps/trunk/eep-0014.txt
Modified:
   eeps/trunk/eep-0000.txt
   eeps/trunk/eep-0001.txt
   eeps/trunk/eep-0009.txt
   eeps/trunk/eep2html.py
Log:
Added EEP 12, 13 and 14. Corrected EEP number format on EEP 9.
Fixed eep2html.py to handle associated document to e.g EEP 12.


Modified: eeps/trunk/eep-0000.txt
===================================================================

--- eeps/trunk/eep-0000.txt	2008-06-11 14:20:40 UTC (rev 35)
+++ eeps/trunk/eep-0000.txt	2008-07-11 13:39:49 UTC (rev 36)
@@ -34,8 +34,10 @@
  S     9  Library for working with binaries              Fredrik Svahn
  S    10  Representing Unicode characters in Erlang      Patrik Nyblom
  S    11  Built in regular expressions in Erlang         Patrik Nyblom
+ S    12  Extensions to comprehensions                   Richard A. O'Keefe
+ S    13  -enum declarations                             Richard A. O'Keefe
+ S    14  Guard clarification and extension              Richard A. O'Keefe
 
-
 Key
 
     S - Standards Track EEP
@@ -58,6 +60,7 @@
     Kostis Sagonas       <kostis (at) it (dot) uu (dot) se>
     Fredrik Svahn        <Fredrik (dot) Svahn (at) gmail>
     Patrik Nyblom
+    Richard A. O'Keefe   <ok (at) cs (dot) otago (dot) ac (dot) nz>
 
 EEP editor(s) committee
 

Modified: eeps/trunk/eep-0001.txt
===================================================================
--- eeps/trunk/eep-0001.txt	2008-06-11 14:20:40 UTC (rev 35)
+++ eeps/trunk/eep-0001.txt	2008-07-11 13:39:49 UTC (rev 36)
@@ -74,9 +74,10 @@
 into the Erlang development work flow by sending a patch to
 erlang-patches@REDACTED
 
-The EEP champion then emails the EEP editor <eeps@REDACTED> with a
-proposed title and a rough, but fleshed out, draft of the EEP.  This
-draft must be written in EEP style as described below.
+The EEP champion subscribes to the email list <eeps@REDACTED> (see
+http://www.erlang.org/mailman/listinfo/eeps) and sends a rough
+but fleshed out draft of the EEP, with a proposed title, to that list.
+This draft must be written in EEP style as described below.
 
 If the EEP editor approves, he will assign the EEP a number, label it
 as Standards Track or Process, give it status "Draft",

Modified: eeps/trunk/eep-0009.txt
===================================================================
--- eeps/trunk/eep-0009.txt	2008-06-11 14:20:40 UTC (rev 35)
+++ eeps/trunk/eep-0009.txt	2008-07-11 13:39:49 UTC (rev 36)
@@ -1,4 +1,4 @@
-EEP:            0009
+EEP:            9
 Title:          Library for working with binaries
 Version:        $Revision$
 Last-Modified:  $Date$

Added: eeps/trunk/eep-0012-1.diff


Property changes on: eeps/trunk/eep-0012-1.diff
___________________________________________________________________
Name: svn:eol-style
   + native

Added: eeps/trunk/eep-0012.txt


Property changes on: eeps/trunk/eep-0012.txt
___________________________________________________________________
Name: svn:keywords
   + Date Revision
Name: svn:eol-style
   + native

Added: eeps/trunk/eep-0013.txt


Property changes on: eeps/trunk/eep-0013.txt
___________________________________________________________________
Name: svn:keywords
   + Date Revision
Name: svn:eol-style
   + native

Added: eeps/trunk/eep-0014.txt


Property changes on: eeps/trunk/eep-0014.txt
___________________________________________________________________
Name: svn:keywords
   + Date Revision
Name: svn:eol-style
   + native

Modified: eeps/trunk/eep2html.py
===================================================================
--- eeps/trunk/eep2html.py	2008-06-11 14:20:40 UTC (rev 35)
+++ eeps/trunk/eep2html.py	2008-07-11 13:39:49 UTC (rev 36)
@@ -69,7 +69,9 @@
 DTD = ('<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"\n'
        '                      "http://www.w3.org/TR/REC-html40/loose.dtd">')
 
-fixpat = re.compile("((https?|ftp):[-_a-zA-Z0-9/.+~:?#$=&,]+)|(eep-\d+(.txt)?)|"
+fixpat = re.compile("((https?|ftp):[-_a-zA-Z0-9/.+~:?#$=&,]+)|"
+		    "(?P<href>eep-\d+-[-_a-zA-Z0-9/.+:=,]+)|"
+		    "(eep-(?P<eep>\d+)(.txt)?)|"
                     "(RFC[- ]?(?P<rfcnum>\d+))|"
                     "(PEP\s+(?P<pepnum>\d+))|"
                     "(EEP\s+(?P<eepnum>\d+))|"
@@ -108,7 +110,12 @@
                 break
         link = EMPTYSTRING.join(ltext)
     elif text.startswith('eep-') and text <> current:
-        link = os.path.splitext(text)[0] + ".html"
+	eepnum = match.group('eep')
+	if eepnum != None:
+	    eepnum = int(eepnum)
+            link = EEPURL % eepnum
+	else:
+	    link = match.group('href')
     elif text.startswith('EEP'):
         eepnum = int(match.group('eepnum'))
         link = EEPURL % eepnum


