1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
module test.
/*
infixl x+,y+ 190.
infixr x++ 191.
prefixr z+ 191.
postfixl w+ 190.
infixl x* 200.
*/
X +x D.
foo xx uu.
~z x ?w.
x *x y +x z *x w.
a +x b +x c +x d +x e.
a ++x b ++x c ++x d ++x e.
type a, b, d, x, xx, w, y, z, c, cd, e, uu any.
type foo any -> any -> prop.
type (~z) any -> prop.
type (?w) any -> any.
type (+x) any -> any -> any.
type (++x) any -> any -> any.
type (+y) A -> B -> C.
type (*x) A -> B -> C.
main :- print (a a +x [b] +y d), cd +x d.
|
