X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=macros%2Ftest.icl;fp=macros%2Ftest.icl;h=b810709f94f57fa63272206f6f5a86120be53848;hb=acf65f233c22c3eb03ff43805d8065f5ad5a5b53;hp=0000000000000000000000000000000000000000;hpb=1ed4222009881d320de99275c369c4f55ef56237;p=clean-tests.git

diff --git a/macros/test.icl b/macros/test.icl
new file mode 100644
index 0000000..b810709
--- /dev/null
+++ b/macros/test.icl
@@ -0,0 +1,15 @@
+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