8000 evalv3 closedness regression with embeddings and definitions · Issue #3839 · cue-lang/cue · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
evalv3 closedness regression with embeddings and definitions #3839
Closed
@mvdan

Description

@mvdan
# With the old evaluator.
env CUE_EXPERIMENT=evalv3=0
exec cue export

# With the new evaluator.
env CUE_EXPERIMENT=evalv3=1
env CUE_DEBUG=openinline=0
exec cue export

-- input.cue --
package p

_globals: glb: globalField: ""

#GlobalContext: globalField: string
#Context: {
	glb: #GlobalContext
	out: glb
}
out: {
	ingress: {
		#Ingress & {
			#def: (#Context & _globals).out
		}
	}

	ingress?: {
		foo: 1234
		bar: "http"
	}
}
#Embed: #def: {}

#Ingress: {
	#Embed
	...
}

as of 72567b9:

# With the old evaluator. (0.011s)
> env CUE_EXPERIMENT=evalv3=0
> exec cue export
[stdout]
{
    "out": {
        "ingress": {
            "foo": 1234,
            "bar": "http"
        }
    }
}
# With the new evaluator. (0.023s)
> env CUE_EXPERIMENT=evalv3=1
> env CUE_DEBUG=openinline=0
> exec cue export
[stderr]
out.ingress.bar: field not allowed:
    ./input.cue:19:3
out.ingress.foo: field not allowed:
    ./input.cue:18:3
[exit status 1]

Once again reduced from @alecholmez's project in Unity.

Metadata

Metadata

Assignees

Labels

evaluatorevalv3issues affecting only the evaluator version 3unity-winbugs found thanks to projects added to Unity

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

    0