You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
* Clean up property class and mark sanity checks
1. Remove the property classes that weren't being used.
2. Provide a tighter definition for DefaultAssert and reclassify things
accordingly.
3. Renamed KaniCheck to SafetyCheck to make it a more meaningful name.
* Use strum to convert PropertyClass <-> &str
The following program;
use std;
import std::io;
fn main(arg : [str])
{
std::io::println(#fmt("%r", "Goat"));
}
fails to compile with the following internal error:
herugrim::~/code/markov2 $ rustc markov.rs
markov.rs:6:26: 6:30 error: unknown type in conversion: r
markov.rs:6 std::io::println(#fmt("%r", "Goat"));
^~~~
rust: upcall fail 'explicit failure', src/comp/driver/session.rs:70
rust: domain main @0x7fd001021200 root task failed
rust: fatal, 'leaked memory in rust main loop (2 objects)' failed, ./src/rt/memory_region.cpp:158 2 objects
I'm on MacOS lion, and I'm running rev 283cf35 of rust.
The text was updated successfully, but these errors were encountered: