tree b5cdb53e35ac190540ca493940083c7cefe6e796
parent e53305e3cadddc7e2e392e4091b59c72ea3813db
author Marcel van Lohuizen <mpvl@golang.org> 1568369320 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1568369802 +0000

cue: fixes number groundness inference

When a integer was inferred from restricting
comparators with a difference greater than
1.

Also implemented restricting float ranges
when unified with integers.

Fixes #108

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