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

update test 40

This commit is contained in:
Kasey White 2023-01-30 03:24:52 -05:00
parent afd040fda5
commit 8c04ab093a
2 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
crates/aiken-lang/src/air.rs
View File

@ -334,7 +334,6 @@ impl Air {
.into(), .into(),
), ),
Air::Var { constructor, .. } => Some(constructor.tipo.clone()), Air::Var { constructor, .. } => Some(constructor.tipo.clone()),
Air::List { tipo, .. } Air::List { tipo, .. }
| Air::Tuple { tipo, .. } | Air::Tuple { tipo, .. }
| Air::Call { tipo, .. } | Air::Call { tipo, .. }

4
examples/acceptance_tests/040/lib/tests.ak
View File

@ -10,13 +10,13 @@ pub type Car {
// test update_owner2_should_fail(){ // test update_owner2_should_fail(){
// let initial_car: Data = Ford{remote_connect: #[], owner: #[], wheels: 4, truck_bed_limit: 10000} // let initial_car: Data = Ford{remote_connect: #[], owner: #[], wheels: 4, truck_bed_limit: 10000}
// assert Honda{ owner, ..} = initial_car // assert Honda{ owner, ..}: Car = initial_car
// owner == #[] // owner == #[]
// } // }
test update_owner1() { test update_owner1() {
let initial_car: Data = let initial_car: Data =
Ford { remote_connect: #[], owner: #[], wheels: 4, truck_bed_limit: 10000 } Ford { remote_connect: #[], owner: #[], wheels: 4, truck_bed_limit: 10000 }
assert Ford { owner, .. } = initial_car assert Ford { owner, .. }: Car = initial_car
owner == #[] owner == #[]
} }