diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-09-02 18:59:22 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-09-02 19:35:17 -0700 |
| commit | b5f905342337a3dc12bdc5dc6d98d3ecdf60439d (patch) | |
| tree | 358daa3dbd66b22aec8080053cd08d688669613a /src/rt/rust_task.cpp | |
| parent | bdd0417cec937553dec77702bb6b78ed7a07b773 (diff) | |
| download | rust-b5f905342337a3dc12bdc5dc6d98d3ecdf60439d.tar.gz rust-b5f905342337a3dc12bdc5dc6d98d3ecdf60439d.zip | |
Add a constraint to trans::type_of
trans::type_of now has a constraint saying that its type argument is statically sized. This eliminates the "impossible happened" case in type_of. Yay! I note that this change decreased translation time for stage2/rustc from 16.1 s to 14.0 s. I also think many of the remaining checks could be eliminated with some mildly clever use of constrained types and further preconditions. Future work!
Diffstat (limited to 'src/rt/rust_task.cpp')
0 files changed, 0 insertions, 0 deletions