Move catchAllAlias to Alias module
authorAdam Chlipala <adamc@hcoop.net>
Sat, 15 Dec 2007 18:45:58 +0000 (18:45 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 15 Dec 2007 18:45:58 +0000 (18:45 +0000)
lib/alias.dtl
lib/easy_domain.dtl
pcre/mlton/libpcre-h.sml

index 113654b..6e0a3ff 100644 (file)
@@ -41,5 +41,8 @@ val aliasDrop = \user -> aliasPrim (userSource user) dropTarget;
 {{Silently delete mail to the user at the current domain.}}
 
 val defaultAlias = \email -> aliasPrim defaultSource (addressTarget email);
 {{Silently delete mail to the user at the current domain.}}
 
 val defaultAlias = \email -> aliasPrim defaultSource (addressTarget email);
+{{When a message to the current domain doesn't match any other alias and isn't a
+  UNIX username, send it to this e-mail address.}}
+val catchAllAlias = \email -> aliasPrim catchAllSource (addressTarget email);
 {{When a message to the current domain doesn't match any other alias, send it to
   this e-mail address.}}
 {{When a message to the current domain doesn't match any other alias, send it to
   this e-mail address.}}
index 795dd08..952bcfb 100644 (file)
@@ -30,8 +30,6 @@ val webAtIp =
          end
        end;
 
          end
        end;
 
-val catchAllAlias = \ mailbox -> aliasPrim catchAllSource (addressTarget mailbox);
-
 val addCatchAllAlias = begin
   mailbox <- Mailbox;
   catchAllAlias mailbox
 val addCatchAllAlias = begin
   mailbox <- Mailbox;
   catchAllAlias mailbox
index 356df39..f45d82f 100644 (file)
@@ -1,4 +1,4 @@
-structure LibpcreH = struct
+structure LibpcreiH = struct
     local
         val lh = DynLinkage.open_lib
              { name = "/usr/local/lib/pcre_sml.so", global = true, lazy = true }
     local
         val lh = DynLinkage.open_lib
              { name = "/usr/local/lib/pcre_sml.so", global = true, lazy = true }