aboutsummaryrefslogtreecommitdiff
path: root/src/boot/util/bits.ml
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-06-29 16:46:07 -0700
committerGraydon Hoare <[email protected]>2010-06-29 16:46:07 -0700
commit2a00a61ef34b558250aacd796c6564d8440fcf6d (patch)
treebdc1c4ae849064cc10336fec1b8a23c0adb451a5 /src/boot/util/bits.ml
parentUpdate LLVM translation to match changes to slot and ty. (diff)
downloadrust-2a00a61ef34b558250aacd796c6564d8440fcf6d.tar.xz
rust-2a00a61ef34b558250aacd796c6564d8440fcf6d.zip
Thread a 'simplification' flag through unifier, attempt to strip off layers of ignorable types when simplification is permitted.
Gets std.rc through typechecking, but assigns some wrong types to lvals (the simplified types, not the correct ones).
Diffstat (limited to 'src/boot/util/bits.ml')
0 files changed, 0 insertions, 0 deletions