summaryrefslogtreecommitdiff
path: root/6
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2018-04-17 22:28:18 -0700
committerOri Bernstein <ori@eigenstate.org>2018-04-17 22:28:18 -0700
commit3d71446ecb6569add0d9eaf2e7e4a05d99bd2625 (patch)
tree2010e52b6a5d62d98920bcb0706d5f99f3b2b60b /6
parent35b4358b60d0afdff7e4599a9e625c0fc1580288 (diff)
downloadmc-3d71446ecb6569add0d9eaf2e7e4a05d99bd2625.tar.gz
Don't mutate the traits on builtin types.
mktylike() should return a generic type based on the builtin, and that means that if we mutate the builtin, we will be adding traits to our literals. This is wrong on multiple levels. First off, it means that '@t :: numeric,integral @t' will now require whatever other types are implemented over literals. And second, it means that if, for example, a trait is implemented for flt64, flt32 literals will also need it.
Diffstat (limited to '6')
0 files changed, 0 insertions, 0 deletions