tree efbf8105ddbcf412f16eab03c9f5b54db25668ae
parent ed08085ef2c239bed9e92b51e6205a29fb6166aa
author Marcel van Lohuizen <mpvl@golang.org> 1565793350 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1566117027 +0000

cue: fix linter warnings and divide by zero error

Spec says the result of divide by zero
is an error, not infinity.

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