Shorter Apache types
authorAdam Chlipala <adamc@hcoop.net>
Thu, 6 Dec 2007 02:21:25 +0000 (02:21 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Thu, 6 Dec 2007 02:21:25 +0000 (02:21 +0000)
lib/apache.dtl

index 9ad396a..1c3b1ad 100644 (file)
@@ -54,11 +54,11 @@ extern val directory : your_path -> ^Vhost & Location => [Vhost & !Location];
 {{Set some configuration specific to a URI prefix or filesystem directory,
   respectively.}}
 
-extern val serverAliasHost : your_domain_host -> [Vhost & !Location];
+extern val serverAliasHost : your_domain_host -> [Vhost];
 {{Give an alternate hostname for this vhost.}}
-extern val serverAlias : host -> [Vhost & !Location];
+extern val serverAlias : host -> [Vhost];
 {{Like serverAliasHost, but adds an alias for the given hostname at every domain
   being configured.}}
-extern val serverAliasDefault : [Vhost & !Location];
+extern val serverAliasDefault : [Vhost];
 {{Like serverAliasDefault, but adds aliases for the domains being configured
   instead of any of their hosts/"subdomains".}}