1#IgnoreConcrete: true
2#InferTasks: true
3-- in.cue --
4package test
5
6import "tool/cli"
7
8obj: {
9 request: int & <=limit
10 limit: int & <=100
11
12 request: 10
13 limit: request
14}
15
16root: print: cli.Print & {
17 text: "\(obj.request) \(obj.limit)"
18}
19
20
21-- out/run/errors --
22-- out/run/t0 --
23graph TD
24 t0("root.print [Ready]")
25
26-- out/run/t1 --
27graph TD
28 t0("root.print [Terminated]")
29
30-- out/run/t1/value --
31{
32 $id: "tool/cli.Print"
33 stdout: "foo"
34 text: "10 10"
35}
36-- out/run/t1/stats --
37Leaks: 0
38Freed: 11
39Reused: 5
40Allocs: 6
41Retain: 1
42
43Unifications: 9
44Conjuncts: 24
45Disjuncts: 12
46-- out/run/stats/totals --
47Leaks: 0
48Freed: 11
49Reused: 5
50Allocs: 6
51Retain: 1
52
53Unifications: 9
54Conjuncts: 24
55Disjuncts: 12
View as plain text