Merge pull request #1285 from AleoHQ/dup-param-var-name-patch-1

Update circuit.leo
This commit is contained in:
Alessandro Coglio 2021-08-26 21:27:39 -07:00 committed by GitHub
commit 438af6bf80
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 6 deletions

View File

@ -26,6 +26,6 @@ circuit Foo {
function main(character: char) -> char {
let f = Foo { character };
let character = f.character == 'a' ? 'a' : f.character;
return character;
}
let character2 = f.character == 'a' ? 'a' : f.character;
return character2;
}

View File

@ -100,6 +100,6 @@ outputs:
r:
type: char
value: "'\\u{1f62d}'"
initial_ast: 715a33d0032f02d69d13687ac98005a789b6bcb63ff619865b21f0c691f14a75
canonicalized_ast: 715a33d0032f02d69d13687ac98005a789b6bcb63ff619865b21f0c691f14a75
type_inferenced_ast: d04164068277e88b5529f1072b512ffadc7eaaf704c8a3e394a409e783cc1e27
initial_ast: 41f5ad78f58a182b6b99dd22151fabb0dc621c4a45c39d087cbc05f89c99eccc
canonicalized_ast: 41f5ad78f58a182b6b99dd22151fabb0dc621c4a45c39d087cbc05f89c99eccc
type_inferenced_ast: 0463676a90b25002f29b0c056e44945f9c461c535bdf11b47112ace4c3e0eac1