diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-05-20 19:50:29 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-05-20 19:54:14 -0700 |
| commit | 755ca8eb73e0bd8cb9df892973a3bb5faf3fd651 (patch) | |
| tree | 4076cb9c63738f1c5f439f515282f7fe07564ecf /src/rt/rust_kernel.cpp | |
| parent | 699986d192a90313cb1fdaf1a650247689a13cee (diff) | |
| download | rust-755ca8eb73e0bd8cb9df892973a3bb5faf3fd651.tar.gz rust-755ca8eb73e0bd8cb9df892973a3bb5faf3fd651.zip | |
Correctly check that ! functions always diverge
Also make _|_ unify with any type.
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions