macros/test.icl

   1 module test
   2
   3 :: TypeT1 m a = Ty1 (m a)
   4 :: TypeT2 m a = Ty2 (m a)
   5
   6 :: Ident a = Ident a
   7
   8 :: Type2 a :== TypeT2 Ident a
   9
  10 //Not allowed
  11 :: ShortHand a :== TypeT1 Type2 a
  12 //Allowed
  13 //:: ShortHand a :== TypeT1 (TypeT2 Ident) a
  14
  15 Start = 42