blob: 3525af8e70a8a4fc757e1cab586e48f3a9c08c64 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
default Order inc
scattered typedef ast = const union
val ast -> unit effect pure execute
scattered function unit execute
union ast member (unit) DUMMY
function clause execute (DUMMY) = ()
end ast
end execute
function unit test_assert (name, pred) = {
print (name);
if pred then
print (": pass\n")
else
print(": fail\n")
}
|
