tree 9153c6b3dd329339e53bb7a36cf3483d4389446c
parent 15934d98cbe44fc04ee83ee3dbb9bab66f979a55
author Marcel van Lohuizen <mpvl@golang.org> 1613232202 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1613237110 +0000

tools/trim: don't trim shared nodes

This one is a bit tricky. We accomplish this by explicitly marking
all nodes that cannot be removed. This seems like a good general
safety measure to make anyway, albeit a bit expensive.

Fixes #760

Change-Id: Ie46e398dd5295cedf150c11f38cdf82d68306180
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/8702
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>