bork

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

diff --git a/macros/test.icl b/macros/test.icl
new file mode 100644 (file)
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