...

Text file src/cuelang.org/go/cue/testdata/fulleval/009_template_unification_within_one_struct.txtar

Documentation: cuelang.org/go/cue/testdata/fulleval

     1# DO NOT EDIT; generated by go run testdata/gen.go
     2#
     3#name: template unification within one struct
     4#evalFull
     5-- in.cue --
     6a: {
     7	{[A=string]: {name: A}}
     8
     9	// TODO: allow duplicate alias here
    10	{[X=string]: {kind: X}}
    11}
    12a: "A": _
    13a: "C": _
    14a: "E": {c: "bar"}
    15-- out/def --
    16a: {
    17	{[A=string]: {
    18		name: A, kind: A
    19	}}
    20	E: {
    21		name: "E"
    22		kind: "E"
    23		c:    "bar"
    24	}
    25	A: {
    26		name: "A"
    27		kind: "A"
    28	}
    29	C: {
    30		name: "C"
    31		kind: "C"
    32	}
    33}
    34-- out/export --
    35a: {
    36	E: {
    37		name: "E"
    38		kind: "E"
    39		c:    "bar"
    40	}
    41	A: {
    42		name: "A"
    43		kind: "A"
    44	}
    45	C: {
    46		name: "C"
    47		kind: "C"
    48	}
    49}
    50-- out/yaml --
    51a:
    52  E:
    53    name: E
    54    kind: E
    55    c: bar
    56  A:
    57    name: A
    58    kind: A
    59  C:
    60    name: C
    61    kind: C
    62-- out/json --
    63{"a":{"E":{"name":"E","kind":"E","c":"bar"},"A":{"name":"A","kind":"A"},"C":{"name":"C","kind":"C"}}}
    64-- out/legacy-debug --
    65<0>{a: <1>{[]: <2>(A: string)->(<3>{name: <2>.A} & <4>{kind: <2>.A}), E: <5>{name: "E", kind: "E", c: "bar"}, A: <6>{name: "A", kind: "A"}, C: <7>{name: "C", kind: "C"}}}
    66-- out/compile --
    67--- in.cue
    68{
    69  a: {
    70    {
    71      [string]: {
    72        name: 〈1;-〉
    73      }
    74    }
    75    {
    76      [string]: {
    77        kind: 〈1;-〉
    78      }
    79    }
    80  }
    81  a: {
    82    A: _
    83  }
    84  a: {
    85    C: _
    86  }
    87  a: {
    88    E: {
    89      c: "bar"
    90    }
    91  }
    92}
    93-- out/eval/stats --
    94Leaks:  0
    95Freed:  12
    96Reused: 8
    97Allocs: 4
    98Retain: 0
    99
   100Unifications: 12
   101Conjuncts:    23
   102Disjuncts:    12
   103-- out/eval --
   104(struct){
   105  a: (struct){
   106    A: (struct){
   107      name: (string){ "A" }
   108      kind: (string){ "A" }
   109    }
   110    C: (struct){
   111      name: (string){ "C" }
   112      kind: (string){ "C" }
   113    }
   114    E: (struct){
   115      c: (string){ "bar" }
   116      name: (string){ "E" }
   117      kind: (string){ "E" }
   118    }
   119  }
   120}

View as plain text