infer type of the various limits

上级 7d2803ae
......@@ -53,9 +53,9 @@ fn extract_str(lit: &syntax::ast::Lit) -> syntax::parse::token::InternedString {
match item.node {
MetaItemKind::NameValue(ref name, ref value) => {
match &**name {
"memory_size" => memory_size = extract_str(value).parse::<u64>().expect("not a number"),
"step_limit" => step_limit = extract_str(value).parse::<u64>().expect("not a number"),
"stack_limit" => stack_limit = extract_str(value).parse::<u64>().expect("not a number"),
"memory_size" => memory_size = extract_str(value).parse().expect("not a number"),
"step_limit" => step_limit = extract_str(value).parse().expect("not a number"),
"stack_limit" => stack_limit = extract_str(value).parse().expect("not a number"),
_ => state.session.span_err(item.span, "unknown miri attribute"),
}
}
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册