tree ed3e08ee90628bffe8dacfe04ba68f9dbe6adc11
parent acc35f1136b65f59e87661e2fc1e2b9827d8ca2c
author Marcel van Lohuizen <mpvl@golang.org> 1606311519 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1606330855 +0000

cue: map API values to more native ADT

Before, Unify would add a Vertex as conjuncts and let
the evaluator treat this as a special case. The result was
not entirely correct and hard to fix. WIth this change, Unify
maps directly to a correct ADT by introduce a "phantom"
parent with the correct closed struct.

Fixes #567
Fixes #563
Fixes #561

Change-Id: I11d0e345772695d5ed6fcfd7c6b9e0f2cb2110a4
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/7746
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>