-

[clean-tests.git] / macros / test.icl

diff --git a/macros/test.icl b/macros/test.icl
deleted file mode 100644 (file)
index b810709..0000000
--- a/macros/test.icl
+++ /dev/null
@@ -1,15 +0,0 @@
-module test
-
-:: TypeT1 m a = Ty1 (m a)
-:: TypeT2 m a = Ty2 (m a)
-
-:: Ident a = Ident a
-
-:: Type2 a :== TypeT2 Ident a
-
-//Not allowed
-:: ShortHand a :== TypeT1 Type2 a
-//Allowed
-//:: ShortHand a :== TypeT1 (TypeT2 Ident) a
-
-Start = 42