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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
[
Local(a,b,c,d);
DefMacroRulebase(foo,{a,b});
// Simple check
foo(_c,_d) <-- {@c,@d};
Verify(foo(2,3),Hold({2,3}));
Macro("foo",{a}) {@a,a};
a:=A;
Verify(foo(B),{B,A});
Retract(foo,1);
Retract(foo,2);
Verify(foo(2,3),foo(2,3));
Verify(foo(B),foo(B));
];
[
Local(a,i,tot);
a:=100;
Retract(forloop,4);
Macro(forloop,{init,pred,inc,body})
[
@init;
While(@pred)
[
@body;
@inc;
];
True;
];
tot:=0;
forloop(i:=1,i<=10,i++,tot:=tot+a*i);
Verify(i,11);
Verify(tot,5500);
];
[
Macro("bar",{list,...}) Length(@list);
Verify(bar(a,b,list,bar,list),5);
];
[
Local(x,y,z);
y:=x;
Verify(`{@x,@y},{x,x});
z:=u;
y:={@z,@z};
Verify(`{@x,@y},{x,{@z,@z}});
Verify(`{@x,`(@y)},{x,{@u,@u}});
y:=Hold(`{@z,@z});
Verify(`{@x,@y},{x,{u,u}});
Verify(`{@x,`(@y)},{x,{u,u}});
];
// check that a macro can reach a local from the calling environment.
[
Macro(foo,{x}) a*(@x);
Function(bar,{x})
[
Local(a);
a:=2;
foo(x);
];
Verify(bar(3),6);
];
//check that with nested backquotes expansion only expands the top-level expression
[
Local(a,b);
a:=2;
b:=3;
Verify(
`[
Local(c);
c:=@a+@b;
`((@c)*(@c));
],25);
];
|
