tree db9f1db8207d1fbdf3bdb5cc36e87a370024e099
parent 13b68c81f521ac1e041b60a3ef03e38e51804b87
author Marcel van Lohuizen <mpvl@golang.org> 1610622057 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1610709330 +0000

internal/core/adt: improve errors for validator conflicts

This also handles possible nil interface issues, which
are a result of the API.

Perhaps builtin implementations should not return Bottom,
but it _is_ a nice way to signal something is a validator.

The returned Bottom gets rewrapped with a standard
validator message up the stack, which also addes more
position information.

Fixes #627

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