Used body length for AbleFunctio to i32 instead of AST length
This commit is contained in:
parent
7a275556c7
commit
31296ec0b8
|
@ -97,7 +97,7 @@ impl Value {
|
||||||
instructions,
|
instructions,
|
||||||
tape_len,
|
tape_len,
|
||||||
} => (instructions.len() + tape_len) as _,
|
} => (instructions.len() + tape_len) as _,
|
||||||
Functio::AbleFunctio { params, body } => (params.len() + body.len()) as _,
|
Functio::AbleFunctio { params, body } => (params.len() + format!("{:?}", body).len()) as _,
|
||||||
Functio::Eval(s) => s.len() as _,
|
Functio::Eval(s) => s.len() as _,
|
||||||
},
|
},
|
||||||
Value::Int(i) => i,
|
Value::Int(i) => i,
|
||||||
|
@ -361,32 +361,7 @@ impl PartialOrd for Value {
|
||||||
Value::Int(i) => Some(i.cmp(&other.into_i32())),
|
Value::Int(i) => Some(i.cmp(&other.into_i32())),
|
||||||
Value::Bool(b) => Some(b.cmp(&other.into_bool())),
|
Value::Bool(b) => Some(b.cmp(&other.into_bool())),
|
||||||
Value::Abool(a) => a.partial_cmp(&other.into_abool()),
|
Value::Abool(a) => a.partial_cmp(&other.into_abool()),
|
||||||
Value::Functio(f) => {
|
Value::Functio(_) => self.clone().into_i32().partial_cmp(&other.into_i32()),
|
||||||
// Compares lengths of functions:
|
|
||||||
// BfFunctio - Sum of lengths of instructions and length of tape
|
|
||||||
// AbleFunctio - Sum of argument count and body length
|
|
||||||
// Eval - Length of input code
|
|
||||||
|
|
||||||
let selfl = match f {
|
|
||||||
Functio::BfFunctio {
|
|
||||||
instructions,
|
|
||||||
tape_len,
|
|
||||||
} => instructions.len() + tape_len,
|
|
||||||
Functio::AbleFunctio { params, body } => params.len() + body.len(),
|
|
||||||
Functio::Eval(s) => s.len(),
|
|
||||||
};
|
|
||||||
|
|
||||||
let otherl = match other.into_functio() {
|
|
||||||
Functio::BfFunctio {
|
|
||||||
instructions,
|
|
||||||
tape_len,
|
|
||||||
} => instructions.len() + tape_len,
|
|
||||||
Functio::AbleFunctio { params, body } => params.len() + body.len(),
|
|
||||||
Functio::Eval(s) => s.len(),
|
|
||||||
};
|
|
||||||
|
|
||||||
Some(selfl.cmp(&otherl))
|
|
||||||
}
|
|
||||||
Value::Cart(c) => Some(c.len().cmp(&other.into_cart().len())),
|
Value::Cart(c) => Some(c.len().cmp(&other.into_cart().len())),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue