repositories
/
clean-tests.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
signal
[clean-tests.git]
/
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