waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Nonsensical prints to be removed.

This commit is contained in:
KtorZ 2024-03-21 16:13:54 +01:00 committed by Lucas
parent 25e9db4f6c
commit 5cec2544b3
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
crates/aiken-lang/src/tests/check.rs
View File

@ -1970,12 +1970,14 @@ fn forbid_expect_into_nested_opaque_in_record_without_typecasting() {
type Foo { foo: Thing } type Foo { foo: Thing }
fn bar(thing: Foo) { fn bar(f: Foo) {
expect Foo { foo: Thing { inner } } : Foo = thing expect Foo { foo: Thing { inner } } : Foo = f
Void Void
} }
"#; "#;
panic!("");
assert!(matches!( assert!(matches!(
check(parse(source_code)), check(parse(source_code)),
Err((_, Error::ExpectOnOpaqueType { .. })) Err((_, Error::ExpectOnOpaqueType { .. }))

3
crates/aiken-lang/src/tipo/environment.rs
View File

@ -1408,6 +1408,9 @@ impl<'a> Environment<'a> {
return Ok(()); return Ok(());
} }
println!("lhs: {lhs:#?}");
println!("rhs: {rhs:#?}");
// TODO: maybe we also care to check is_link? // TODO: maybe we also care to check is_link?
if allow_cast if allow_cast
&& (lhs.is_data() || rhs.is_data()) && (lhs.is_data() || rhs.is_data())