cuelang.org/go@v0.10.1/internal/core/export/testdata/main/issue2584.txtar (about)

     1  # issue #2584
     2  
     3  -- in.cue --
     4  F1: sub1: sub2: L
     5  F2: {
     6  	(string): _
     7  	L
     8  }
     9  D: {}
    10  let L = D
    11  -- out/self/default --
    12  -- out/definition --
    13  
    14  let L = D
    15  F1: {
    16  	sub1: {
    17  		sub2: L
    18  	}
    19  }
    20  F2: {
    21  	(string): _
    22  	L
    23  }
    24  D: {}
    25  -- out/doc-v3 --
    26  []
    27  [F1]
    28  [F1 sub1]
    29  [F1 sub1 sub2]
    30  [F2]
    31  [D]
    32  [L]
    33  -- diff/-out/doc-v3<==>+out/doc --
    34  diff old new
    35  --- old
    36  +++ new
    37  @@ -3,6 +3,5 @@
    38   [F1 sub1]
    39   [F1 sub1 sub2]
    40   [F2]
    41  -[F2 _]
    42   [D]
    43   [L]
    44  -- diff/doc/explanation --
    45  An incomplete dynamic field does not manifest itself as an invalid field
    46  in the new evaluator. This is probably for the better.
    47  -- out/doc --
    48  []
    49  [F1]
    50  [F1 sub1]
    51  [F1 sub1 sub2]
    52  [F2]
    53  [F2 _]
    54  [D]
    55  [L]
    56  -- out/value-v3 --
    57  == Simplified
    58  {
    59  	let L = D
    60  	F1: {
    61  		sub1: {
    62  			sub2: {}
    63  		}
    64  	}
    65  	F2: {
    66  		(string): _
    67  		L
    68  	}
    69  	D: {}
    70  }
    71  == Raw
    72  {
    73  	let L = D
    74  	F1: {
    75  		sub1: {
    76  			sub2: {}
    77  		}
    78  	}
    79  	F2: {
    80  		(string): _
    81  		L
    82  	}
    83  	D: {}
    84  }
    85  == Final
    86  {
    87  	F1: {
    88  		sub1: {
    89  			sub2: {}
    90  		}
    91  	}
    92  	F2: _|_ // F2: key value of dynamic field must be concrete, found string
    93  	D: {}
    94  }
    95  == All
    96  {
    97  	let L = D
    98  	F1: {
    99  		sub1: {
   100  			sub2: {}
   101  		}
   102  	}
   103  	F2: {
   104  		(string): _
   105  		L
   106  	}
   107  	D: {}
   108  }
   109  == Eval
   110  {
   111  	let L = D
   112  	F1: {
   113  		sub1: {
   114  			sub2: {}
   115  		}
   116  	}
   117  	F2: {
   118  		(string): _
   119  		L
   120  	}
   121  	D: {}
   122  }
   123  -- diff/-out/value-v3<==>+out/value --
   124  diff old new
   125  --- old
   126  +++ new
   127  @@ -33,7 +33,7 @@
   128   			sub2: {}
   129   		}
   130   	}
   131  -	F2: _|_ // F2: invalid non-ground value string (must be concrete string)
   132  +	F2: _|_ // F2: key value of dynamic field must be concrete, found string
   133   	D: {}
   134   }
   135   == All
   136  -- diff/value/todo/p2 --
   137  Seemingly benign change in error message.
   138  -- out/value --
   139  == Simplified
   140  {
   141  	let L = D
   142  	F1: {
   143  		sub1: {
   144  			sub2: {}
   145  		}
   146  	}
   147  	F2: {
   148  		(string): _
   149  		L
   150  	}
   151  	D: {}
   152  }
   153  == Raw
   154  {
   155  	let L = D
   156  	F1: {
   157  		sub1: {
   158  			sub2: {}
   159  		}
   160  	}
   161  	F2: {
   162  		(string): _
   163  		L
   164  	}
   165  	D: {}
   166  }
   167  == Final
   168  {
   169  	F1: {
   170  		sub1: {
   171  			sub2: {}
   172  		}
   173  	}
   174  	F2: _|_ // F2: invalid non-ground value string (must be concrete string)
   175  	D: {}
   176  }
   177  == All
   178  {
   179  	let L = D
   180  	F1: {
   181  		sub1: {
   182  			sub2: {}
   183  		}
   184  	}
   185  	F2: {
   186  		(string): _
   187  		L
   188  	}
   189  	D: {}
   190  }
   191  == Eval
   192  {
   193  	let L = D
   194  	F1: {
   195  		sub1: {
   196  			sub2: {}
   197  		}
   198  	}
   199  	F2: {
   200  		(string): _
   201  		L
   202  	}
   203  	D: {}
   204  }