}))
};
+ // avoid defining extra methods if we can
+ // c-like enums, enums without any fields and structs without fields
+ // can safely define only `partial_cmp`.
+ let methods = if is_type_without_fields(item) {
+ vec![partial_cmp_def]
+ } else {
+ vec![
+ partial_cmp_def,
+ md!("lt", true, false),
+ md!("le", true, true),
+ md!("gt", false, false),
+ md!("ge", false, true)
+ ]
+ };
+
let trait_def = TraitDef {
span: span,
attributes: vec![],
additional_bounds: vec![],
generics: LifetimeBounds::empty(),
is_unsafe: false,
- methods: vec![
- partial_cmp_def,
- md!("lt", true, false),
- md!("le", true, true),
- md!("gt", false, false),
- md!("ge", false, true)
- ],
+ methods: methods,
associated_types: Vec::new(),
};
trait_def.expand(cx, mitem, item, push)
pub fn cs_partial_cmp(cx: &mut ExtCtxt, span: Span,
substr: &Substructure) -> P<Expr> {
- let test_id = cx.ident_of("__test");
+ let test_id = cx.ident_of("__cmp");
let ordering = cx.path_global(span,
cx.std_path(&["cmp", "Ordering", "Equal"]));
- let ordering = cx.expr_path(ordering);
- let equals_expr = cx.expr_some(span, ordering);
+ let ordering_expr = cx.expr_path(ordering.clone());
+ let equals_expr = cx.expr_some(span, ordering_expr);
let partial_cmp_path = cx.std_path(&["cmp", "PartialOrd", "partial_cmp"]);
/*
Builds:
- let __test = ::std::cmp::PartialOrd::partial_cmp(&self_field1, &other_field1);
- if __test == ::std::option::Option::Some(::std::cmp::Ordering::Equal) {
- let __test = ::std::cmp::PartialOrd::partial_cmp(&self_field2, &other_field2);
- if __test == ::std::option::Option::Some(::std::cmp::Ordering::Equal) {
- ...
- } else {
- __test
- }
- } else {
- __test
+ match ::std::cmp::PartialOrd::partial_cmp(&self_field1, &other_field1) {
+ ::std::option::Option::Some(::std::cmp::Ordering::Equal) =>
+ match ::std::cmp::PartialOrd::partial_cmp(&self_field2, &other_field2) {
+ ::std::option::Option::Some(::std::cmp::Ordering::Equal) => {
+ ...
+ }
+ __cmp => __cmp
+ },
+ __cmp => __cmp
}
-
- FIXME #6449: These `if`s could/should be `match`es.
*/
cs_fold(
// foldr nests the if-elses correctly, leaving the first field
// as the outermost one, and the last as the innermost.
false,
|cx, span, old, self_f, other_fs| {
- // let __test = new;
- // if __test == Some(::std::cmp::Ordering::Equal) {
- // old
- // } else {
- // __test
+ // match new {
+ // Some(::std::cmp::Ordering::Equal) => old,
+ // __cmp => __cmp
// }
let new = {
cx.expr_call_global(span, partial_cmp_path.clone(), args)
};
- let assign = cx.stmt_let(span, false, test_id, new);
-
- let cond = cx.expr_binary(span, BinOpKind::Eq,
- cx.expr_ident(span, test_id),
- equals_expr.clone());
- let if_ = cx.expr_if(span,
- cond,
- old, Some(cx.expr_ident(span, test_id)));
- cx.expr_block(cx.block(span, vec!(assign), Some(if_)))
+ let eq_arm = cx.arm(span,
+ vec![cx.pat_some(span,
+ cx.pat_enum(span,
+ ordering.clone(),
+ vec![]))],
+ old);
+ let neq_arm = cx.arm(span,
+ vec![cx.pat_ident(span, test_id)],
+ cx.expr_ident(span, test_id));
+
+ cx.expr_match(span, new, vec![eq_arm, neq_arm])
},
equals_expr.clone(),
Box::new(|cx, span, (self_args, tag_tuple), _non_self_args| {