acw/ngr
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Fix the results of binds problem.

Browse Source
This commit is contained in:
Adam Wick
2024-04-11 10:03:11 -07:00
parent 632770f4f4
commit f915db9337
2 changed files with 12 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/backend/eval.rs
View File

@@ -129,15 +129,14 @@ proptest::proptest! {
let basic_result = basic_result.map(|x| x.replace('\n', "\r\n")); let basic_result = basic_result.map(|x| x.replace('\n', "\r\n"));
if !matches!(basic_result, Err(EvalError::PrimOp(PrimOpError::MathFailure(_)))) { if !matches!(basic_result, Err(EvalError::PrimOp(PrimOpError::MathFailure(_)))) {
// use pretty::{DocAllocator, Pretty}; //use pretty::DocAllocator;
// let allocator = pretty::BoxAllocator; //let allocator = pretty::Arena::new();
// allocator //let result = allocator.text("-------------")
// .text("---------------") // .append(allocator.line())
// .append(allocator.hardline()) // .append(program.pretty(&allocator))
// .append(program.pretty(&allocator)) // .append(allocator.line());
// .1 //result.render_raw(70, &mut pretty::IoWrite::new(std::io::stdout()))
// .render_colored(70, pretty::termcolor::StandardStream::stdout(pretty::termcolor::ColorChoice::Auto)) // .expect("rendering works");
// .expect("rendering works");
let compiled_result = Backend::<ObjectModule>::eval(program); let compiled_result = Backend::<ObjectModule>::eval(program);
proptest::prop_assert_eq!(basic_result, compiled_result); proptest::prop_assert_eq!(basic_result, compiled_result);

4
src/backend/into_crane.rs
View File

@@ -363,6 +363,10 @@ impl<M: Module> Backend<M> {
(types::I64, Type::Primitive(PrimitiveType::U64)) => Ok((val, val_type)), (types::I64, Type::Primitive(PrimitiveType::U64)) => Ok((val, val_type)),
(types::I64, Type::Primitive(PrimitiveType::Void)) => {
Ok((builder.ins().iconst(types::I64, 0), VOID_REPR_TYPE))
}
_ => Err(BackendError::InvalidTypeCast { _ => Err(BackendError::InvalidTypeCast {
from: val_type, from: val_type,
to: target_type, to: target_type,