X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/629a34f64f780c03d049d20057acc9a487162272..a6e7ba0661b58dd66499ae94f656e53bd835d270:/tests/domain2.dtl

diff --git a/tests/domain2.dtl b/tests/domain2.dtl
dissimilarity index 83%
index 520abd1..75ffec8 100644
--- a/tests/domain2.dtl
+++ b/tests/domain2.dtl
@@ -1,33 +1,8 @@
-extern type domain;
-extern val domain : domain -> Domain => [Root];
-
-extern type emailUser;
-extern type email;
-
-extern type aliasSource;
-extern val userSource : emailUser -> aliasSource;
-extern val defaultSource : aliasSource;
-extern val catchAllSource : aliasSource;
-
-extern type aliasTarget;
-extern val addressTarget : email -> aliasTarget;
-extern val addressesTarget : [email] -> aliasTarget;
-extern val dropTarget : aliasTarget;
-
-extern val aliasPrim : aliasSource -> aliasTarget -> [Domain];
-
-val alias = \user -> \email -> aliasPrim (userSource user) (addressTarget email);
-val aliasMulti = \user -> \emails -> aliasPrim (userSource user) (addressesTarget emails);
-val aliasDrop = \user -> aliasPrim (userSource user) dropTarget;
-
-val defaultAlias = \email -> aliasPrim defaultSource (addressTarget email);
-val catchAllAlias = \email -> aliasPrim catchAllSource (addressTarget email);
-
-domain "hcoop.net" with
-	alias "schmeppo" "dlonker";
-	aliasMulti "me" ["nowhere","smelly@yikes"];
-	aliasDrop "yippo";
-
-	defaultAlias "billy";
-	catchAllAlias "bonkers"
-end
+domain "hcoop.net" with
+	alias "schmeppo" "dlonker";
+	aliasMulti "me" ["nowhere","smelly@yikes"];
+	aliasDrop "yippo";
+
+	defaultAlias "billy";
+	catchAllAlias "bonkers"
+end