tree b37418600602eacedfec32adf184ae7e6ed25f2d
parent f044ad1c9256a2b120f5bfb376877000d49a36d3
author Marcel van Lohuizen <mpvl@golang.org> 1619087992 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1619186792 +0000

internal/core/export: add real Final option

Force incomplete errors only when really finalizing.

Fixes a few bugs that are related to formatting
API-generated values. This is a bit hard to test here,
but will fixing things in a followup CL.

Change-Id: Ia75272409c50f048143d0d254d04e625822dd26a
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/9483
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>