tree dcb18bfd8bcf00a8be2834b49c29f898e5206bd1
parent 3908dac7f8b41e9a8c19ee95a243684a4382ad80
author Marcel van Lohuizen <mpvl@golang.org> 1563708499 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1566142787 +0000

cue: changes ahead of unchecked unification

Introducing unchecked unification introduces some
boilerplate-y changes. Changes this ahead of time
to make the actual changes stand out.

- Function to determine whether an operation is
  a unification op or not.
- passing the type of unification to various functions
  where previously it was assumed to be opUnify.

Issue #40

Change-Id: I1136a7341cf41b7a5ac47133996fd469d39a700f
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/2869
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>