Skip to content

Commit

Permalink
Merge remote-tracking branch 'upstream/master'
Browse files Browse the repository at this point in the history
  • Loading branch information
Jeremy Messenger authored and Jeremy Messenger committed Jan 7, 2012
2 parents a1d2f63 + bc2537a commit 3023dba
Show file tree
Hide file tree
Showing 11 changed files with 595 additions and 647 deletions.
1 change: 0 additions & 1 deletion libnet.mllib
Expand Up @@ -3,7 +3,6 @@ libnet/Network
libnet/Http_dialog
libnet/HttpType
libnet/Http_client
libnet/Mailserve
libnet/SmtpClient
libnet/SmtpClientCore
libnet/SmtpClientCore_parse
Expand Down
18 changes: 10 additions & 8 deletions libnet/email/email.trx
@@ -1,5 +1,5 @@
(*
Copyright © 2011 MLstate
Copyright © 2011, 2012 MLstate

This file is part of OPA.

Expand All @@ -15,19 +15,21 @@
You should have received a copy of the GNU Affero General Public License
along with OPA. If not, see <http://www.gnu.org/licenses/>.
*)
{{ }}

+email : {string * (string * string)}
<- name [<] spacing address [>] spacing {{ __1, __4 }}
(* Merge with email.opa ? *)

+email : {string * (string * string)}
<- name [<] spacing address [>] spacing {{ __1, __4 }}
/ address {{ "", __1 }}
name <- (![<] .)+ $_
address <- id [@] domain {{ __1, __3 }}
/ ["] (!["] .)+ ["] $_
address <- local [@] domain {{ __1, __3 }}

id <- char+ ([.] id)? $_
local <- char+ ([.] local)? $_
domain <- domainpart [.] (domain / domainpart) $_
domainpart <-
domainpart <-
char [\-] domainpart $_
/ char domainpart? $_
/ char domainpart? $_

(* special characters we should authorize ! # $ % & ' * + - / = ? ^ _ ` { | } ~ *)
char <- [A-Za-z0-9_\-+!#$%&'*/=?^_`{|}~]
Expand Down

0 comments on commit 3023dba

Please sign in to comment.