Matthew Sackman

Results 31 comments of Matthew Sackman

> > In which case the only possible result (I think) is `a: 5, b: 5`. > > ... but clearly, if `a` is 5, then `b` must be `1`...

Yep, after much discussion and thought, I'm happy I'm in a less confused state wrt definitions etc.

I think this is working as intended. In the struct case, you are embedding two structs (one being the `#Schema` definition) into the file top-level struct/value. This works fine. If...

(I've not caught up with @mvdan yet this morning, so I might well be missing key context here) > I would think a and b should always be identical then....

Thanks @mxey - I'm (slowly) getting up to speed on this now.

Right, my current understand of this problem is that this might not have anything to do with comprehensions, and instead is about implicit vs explicit unification. I define these terms...

> OK, that explains the situation in the minimal reproduction, but does it also explain the longer example? In that, `data` is only ever used in one way, yet there...

> [@cuematthew](https://github.com/cuematthew) Can you also comment on my description about my mental model of CUE? Am I just on the wrong track there? I try not to think about the...

> [@cuematthew](https://github.com/cuematthew) But why is only one of the outputs in the comprehension different? Well quite. I think I might need to add some further context here about the extent...

> But also, do I understand correctly that if I do `json.Marshal({data})`, I can make it behave consistently, because toposort information will always be lost? If so, that would be...