You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This lowers to get from array -> unwrap option -> do thing -> construct option -> put back in array -> get from array.
This results in a lot of LLVM bloat.
It would be better to defer the "put back in array" until as late as possible.
This may be easier once Guppy has a dedicated array extension. CQCL/guppylang#628
The text was updated successfully, but these errors were encountered:
In guppy it is common to do things like
This lowers to get from array -> unwrap option -> do thing -> construct option -> put back in array -> get from array.
This results in a lot of LLVM bloat.
It would be better to defer the "put back in array" until as late as possible.
This may be easier once Guppy has a dedicated array extension. CQCL/guppylang#628
The text was updated successfully, but these errors were encountered: