blob: 367a86cc0cd44e057f0b20316d108cdf419be43b (
plain)
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
|
const value = @import("../value.zig");
const Value = value.Value;
pub const eof = @import("misc.zig").eof;
// Zig API
pub fn check(v: Value) bool {
return v.bits == eof.bits;
}
pub fn assert(v: Value) void {
if (!check(v)) {
v.dump();
@panic("not bool");
}
}
// Zisp API
pub fn get() Value {
return eof;
}
pub fn pred(v: Value) Value {
return value.boole.pack(check(v));
}
|