cuelang.org/go@v0.10.1/tools/flow/testdata/issue2397.txtar (about)

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