Provide more context for some panics
Actually ran into them both, will open issues about those in a bit.
This commit is contained in:
parent
925a11be69
commit
db8eb6a108
|
@ -3915,7 +3915,13 @@ impl<'a> CodeGenerator<'a> {
|
||||||
&self.data_types,
|
&self.data_types,
|
||||||
&constructor.tipo,
|
&constructor.tipo,
|
||||||
)
|
)
|
||||||
.unwrap();
|
.unwrap_or_else(|| {
|
||||||
|
panic!(
|
||||||
|
"could not find data-type definition for {} within known set: {:?}",
|
||||||
|
constructor.tipo.to_pretty(0),
|
||||||
|
self.data_types.keys()
|
||||||
|
)
|
||||||
|
});
|
||||||
|
|
||||||
let (constr_index, constr_type) = data_type
|
let (constr_index, constr_type) = data_type
|
||||||
.constructors
|
.constructors
|
||||||
|
@ -4197,8 +4203,11 @@ impl<'a> CodeGenerator<'a> {
|
||||||
let eval_program: Program<NamedDeBruijn> =
|
let eval_program: Program<NamedDeBruijn> =
|
||||||
program.remove_no_inlines().try_into().unwrap();
|
program.remove_no_inlines().try_into().unwrap();
|
||||||
|
|
||||||
let evaluated_term: Term<NamedDeBruijn> =
|
let result = eval_program.eval(ExBudget::max()).result();
|
||||||
eval_program.eval(ExBudget::max()).result().unwrap();
|
|
||||||
|
let evaluated_term: Term<NamedDeBruijn> = result.unwrap_or_else(|e| {
|
||||||
|
panic!("failed evaluation in interner: {e:#?}")
|
||||||
|
});
|
||||||
|
|
||||||
Some(evaluated_term.try_into().unwrap())
|
Some(evaluated_term.try_into().unwrap())
|
||||||
} else {
|
} else {
|
||||||
|
|
|
@ -120,8 +120,8 @@ impl PartialEq for Type {
|
||||||
|
|
||||||
Type::Tuple { elems, alias: _ } => {
|
Type::Tuple { elems, alias: _ } => {
|
||||||
if let Type::Tuple { elems: elems2, .. } = other {
|
if let Type::Tuple { elems: elems2, .. } = other {
|
||||||
elems.len() == elems2.len() &&
|
elems.len() == elems2.len()
|
||||||
elems.iter().zip(elems2).all(|(left, right)| left == right)
|
&& elems.iter().zip(elems2).all(|(left, right)| left == right)
|
||||||
} else {
|
} else {
|
||||||
false
|
false
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue