search

dfinity / motoko

Simple high-level language for writing Internet Computer canisters
Apache License 2.0
517 stars 97 forks source link

bug: `actor` self reference oddity #4731

Closed crusso closed 1 month ago

crusso commented 1 month ago

See:

https://forum.dfinity.org/t/what-is-special-about-actor-wrapper-and-this-motoko/36049

crusso commented 1 month ago

Line 94 in definedness.ml skips the expression in ActorUrlE.. so we ignore any this reference from within an the actorUrlE expression. Maybe it was generalized from a string lit to an expression at some point but not fixed here

crusso commented 1 month ago

Morally, that's a (convenient) bug.