tree 99c9a17249c7dc68d1a406888562e4922ea48661
parent 13c97184d726379dfd02f84cdf1a72d8687b017f
author Marcel van Lohuizen <mpvl@golang.org> 1557132657 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1566115309 +0000

doc/ref: change meaning of numbers and lists, remove %

- The current definitions for numbers work great for
unification, but are horrible for subsumption.
This especially breaks down when reasoning over types
and optimizing representations. The crux is `decimal`
integer literals being both float and int. The main change
is that these are now only always integers.
In practice this is cumbersome, so users will more likely
want to use `number` rather than `float`.

- As a result, the meaning of % makes little sense.
  We remove it for now at least.

- Also to aleviate subsumption issue, keeping lists open in
binary operation was somewhat unusual, as operations
require picking a default, which closes it usually.

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