forked from M-Labs/nac3
remove debug prints
This commit is contained in:
parent
dfd3548ed2
commit
142f82f987
@ -195,7 +195,6 @@ impl InnerResolver {
|
|||||||
if let TypeEnum::TVar { id, .. } = &*unifier.get_ty(*x) {
|
if let TypeEnum::TVar { id, .. } = &*unifier.get_ty(*x) {
|
||||||
(*id, *x)
|
(*id, *x)
|
||||||
} else {
|
} else {
|
||||||
println!("{}", unifier.default_stringify(*x));
|
|
||||||
unreachable!()
|
unreachable!()
|
||||||
}
|
}
|
||||||
}).collect()
|
}).collect()
|
||||||
|
@ -167,7 +167,6 @@ impl<'a> Inferencer<'a> {
|
|||||||
}
|
}
|
||||||
ExprKind::Constant { .. } => {}
|
ExprKind::Constant { .. } => {}
|
||||||
_ => {
|
_ => {
|
||||||
println!("{:?}", expr.node);
|
|
||||||
unimplemented!()
|
unimplemented!()
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -855,7 +855,6 @@ impl Unifier {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
_ => {
|
_ => {
|
||||||
println!("{}", ty.get_type_name());
|
|
||||||
unreachable!("{} not expected", ty.get_type_name())
|
unreachable!("{} not expected", ty.get_type_name())
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user