this repo has no description
cue/testdata: add @test to cycle/issue3527
Add inline @test(eq) annotation for
issue3527.txtar and fix line numbers in
pushdown.txtar after new test additions.
Also normalize #inlinetest:exclude marker
in cycleshare.txtar.
Signed-off-by: Marcel van Lohuizen <mpvl@gmail.com>
Change-Id: I0a7623888cf1c26a99889977bd3ece39dedf3612
Reviewed-on: https://cue.gerrithub.io/c/cue-lang/cue/+/1235989
TryBot-Result: CUEcueckoo <cueckoo@cuelang.org>
Reviewed-by: Daniel Martí <mvdan@mvdan.cc>
Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>
+34
-16
+14
-14
cue/testdata/comprehensions/pushdown.txtar
+14
-14
cue/testdata/comprehensions/pushdown.txtar
···
1358
1358
./in.cue:382:7
1359
1359
./in.cue:380:6
1360
1360
[incomplete] emptyComprehensionIncomplete.b: undefined field: b:
1361
-
./in.cue:402:8
1361
+
./in.cue:405:8
1362
1362
[incomplete] voidEliminationSuccess.derefRef1.E.f: operand e of '!' not concrete (was bool):
1363
-
./in.cue:472:7
1363
+
./in.cue:475:7
1364
1364
[incomplete] voidEliminationSuccess.derefRef2.#F.f: operand e of '!' not concrete (was bool):
1365
-
./in.cue:495:7
1365
+
./in.cue:498:7
1366
1366
[incomplete] voidEliminationSuccess.derefDisj1.E: 2 errors in empty disjunction:
1367
1367
voidEliminationSuccess.derefDisj1.E.f: operand e of '!' not concrete (was bool):
1368
-
./in.cue:521:7
1369
-
voidEliminationSuccess.derefDisj1.E.h: operand g of '!' not concrete (was bool):
1370
1368
./in.cue:524:7
1369
+
voidEliminationSuccess.derefDisj1.E.h: operand g of '!' not concrete (was bool):
1370
+
./in.cue:527:7
1371
1371
[incomplete] voidEliminationSuccess.derefDisj2.E: 2 errors in empty disjunction:
1372
1372
voidEliminationSuccess.derefDisj2.E.f: operand e of '!' not concrete (was bool):
1373
-
./in.cue:543:7
1373
+
./in.cue:546:7
1374
1374
voidEliminationSuccess.derefDisj2.E.h: operand g of '!' not concrete (was bool):
1375
-
./in.cue:546:7
1375
+
./in.cue:549:7
1376
1376
[incomplete] voidLookup.a.x.z: undefined field: void:
1377
-
./in.cue:611:17
1377
+
./in.cue:614:17
1378
1378
[incomplete] voidLookup.a.x.z: undefined field: void:
1379
-
./in.cue:611:17
1379
+
./in.cue:614:17
1380
1380
[incomplete] topElimination.x: non-concrete value int in operand to +:
1381
-
./in.cue:652:6
1382
-
./in.cue:649:5
1381
+
./in.cue:655:6
1382
+
./in.cue:652:5
1383
1383
[incomplete] explicitDefaultError: non-concrete value string in operand to !=:
1384
-
./in.cue:683:5
1385
-
./in.cue:681:5
1384
+
./in.cue:686:5
1385
+
./in.cue:684:5
1386
1386
[eval] structShare.err1.x.d.e: field not allowed:
1387
-
./in.cue:733:9
1387
+
./in.cue:736:9
1388
1388
[incomplete] errorPropagation: undefined field: env2:
1389
1389
./issue2113.cue:35:19
1390
1390
[eval] issue3535.regular.foo.regular: field not allowed:
+18
-1
cue/testdata/cycle/issue3527.txtar
+18
-1
cue/testdata/cycle/issue3527.txtar
···
2
2
# involving `let` bindings and mutual references between definitions, whereas
3
3
# evalv2 handles it correctly.
4
4
# https://cuelang.org/issue/3527
5
-
#todo:inline: hard — cycle semantics require @test(err, code=cycle) and careful scoping
6
5
-- in.cue --
7
6
package p
8
7
···
22
21
#computeF1040: in: #ReturnData
23
22
#ReturnData: taxPayer?: #TaxPayer
24
23
#TaxPayer: self?: _
24
+
25
+
@test(eq, {
26
+
_taxPayer$p: {self: {}}
27
+
assert: {
28
+
invoke: {taxPayer: {self: {}}}
29
+
res: {
30
+
in: {taxPayer: {self: {}}}
31
+
_computed$p: {in: {taxPayer: {self: {}}}}
32
+
}
33
+
}
34
+
subject: {
35
+
in: {taxPayer?: {self?: _}}
36
+
_computed$p: {in: {taxPayer?: {self?: _}}}
37
+
}
38
+
#computeF1040: {in: {taxPayer?: {self?: _}}}
39
+
#ReturnData: {taxPayer?: {self?: _}}
40
+
#TaxPayer: {self?: _}
41
+
})
25
42
-- out/eval/stats --
26
43
Leaks: 0
27
44
Freed: 26