diff options
| author | Graydon Hoare <[email protected]> | 2010-06-29 18:25:16 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-06-29 18:25:16 -0700 |
| commit | f05fc6b9d7dd6bb3de2c873d80b22d0e4ac65df4 (patch) | |
| tree | d809b781284f7120afaa2ac5727baf5883f1bea1 /src/boot/util/bits.ml | |
| parent | Thread a 'simplification' flag through unifier, attempt to strip off layers o... (diff) | |
| download | rust-f05fc6b9d7dd6bb3de2c873d80b22d0e4ac65df4.tar.xz rust-f05fc6b9d7dd6bb3de2c873d80b22d0e4ac65df4.zip | |
Different, not quite correct yet, but I think slightly closer to correct, approach to convincing the typechecker to get along with this new type grammar.
Diffstat (limited to 'src/boot/util/bits.ml')
0 files changed, 0 insertions, 0 deletions