This repository was archived by the owner on Jun 17, 2022. It is now read-only.
Repository navigation
This repository was archived by the owner on Jun 17, 2022. It is now read-only.
closures can't be assigned to local variables #152
Description
Taken from the README with fixed syntax:
closure rand_t() -> int;
fn secure_random() -> int {
return 42;
}
fn main() {
rand_t rand = secure_random;
}Compiling fails:
[ERROR] incompatible types ::zztest::main::rand_t and ::zztest::main::secure_random
--> /home/lukas/src/misc/zztest/src/main.zz:8:5
|
8 | rand_t rand = secure_random;␊
| ^-------------------------^
|
= this expression is unprovable over incompatible types
--> /home/lukas/src/misc/zztest/src/main.zz:8:5
|
8 | rand_t rand = secure_random;␊
| ^-------------------------^
|
= rand := ::zztest::main::rand_t Uninitialized
--> /home/lukas/src/misc/zztest/src/main.zz:3:1
|
3 | fn secure_random() -> int {␊
| ...
6 | fn main() -> int {␊
| ^
|
= ::zztest::main::secure_random := ::zztest::main::secure_random Uninitialized
Activity
Fix syntax errors and obvious compile errors in README
aep commentedon Jan 26, 2021
ah yes, closures can't be assigned to local variables. i dont know why, this looks like a bug.
[-]closures don't work as documented[/-][+]closures can't be assigned to local variables[/+]aep commentedon Jan 26, 2021
oh i remember why. fixing this is hard because closures are emitted as structures for capture context.
this is a corner case where there's no special assignment case in symbolic, its just passed as literal = into C, and using = for structs is not legal in C. We'd either need yet another special case or finally some more generic way to assignment.
Fix syntax errors and obvious compile errors in README
jacereda commentedon May 4, 2021
C should handle = for structs AFAIK...