Are structs always considered concrete?

[NReilingh]

The Language Specification says

A value is concrete if it is either an atom, or a struct all of whose field values are themselves concrete, recursively.

Yet I've come across a few things that seemingly contradict this:

#822

Things are a bit tricker when requiring fields of structs or lists to be concrete. As these are always concrete, all values would pass.

#884 (comment)

It is working as expected because, as documented, a struct is always considered concrete.

As per the doc:

It does not verify that values of lists or structs are concrete themselves.

The spec seems to suggest that a struct is only concrete if all of its values are concrete, but the other materials say that structs (and lists?) are always concrete, regardless of the concreteness of the values that they contain.

Am I misunderstanding something, or is there a disconnect here?

[mpvl]

Good catch!

The spec is incorrect here. So it is a documentation bug.

[NReilingh]

Thanks! I'm curious about why that is -- the language spec definition seems like it would be the intuitive one to me. Somewhat related to this, perhaps, may also be how incompleteness relates to concreteness: I think again, intuitively, I would expect "completeness" and "concreteness" to be synonymous, and for incompleteness and concreteness to be mutually exclusive, but I suspect that may not be entirely accurate (for example, say, if a given struct is simultaneously concrete and incomplete).

Anyway I think it would be great if part of the docs gave some clarity to these details, since the terminology is used extensively throughout the project.

[cueckoo]

This discussion has been migrated to cue-lang/cue#890.

For more details about CUE's migration to a new home, please see cue-lang/cue#1078.