Skip to content

Commit

Permalink
feat: empty constructor for UInt64() defaults to zero
Browse files Browse the repository at this point in the history
chore: address minor TODO regarding source locations
  • Loading branch information
achidlow committed Mar 22, 2024
1 parent 61e9bef commit 6f79b8a
Show file tree
Hide file tree
Showing 63 changed files with 237 additions and 220 deletions.
4 changes: 2 additions & 2 deletions examples/amm/out/ConstantProductAMM.approval.mir
Original file line number Diff line number Diff line change
Expand Up @@ -528,7 +528,7 @@ _do_opt_in_block@0:
// virtual: store tmp%0#0 to l-stack (no copy) (𝕡) asset#0 | tmp%0#0 Global.current_application_address amm/contract.py:289
// virtual: load tmp%0#0 from l-stack (no copy) (𝕡) asset#0 | tmp%0#0 do_asset_transfer(\nreceiver=Global.current_application_address,\nasset=asset,\namount=UInt64(0),\n) amm/contract.py:288-292
frame_dig -1 // load asset#0 from parameters (𝕡) asset#0 | tmp%0#0,asset#0 do_asset_transfer(\nreceiver=Global.current_application_address,\nasset=asset,\namount=UInt64(0),\n) amm/contract.py:288-292
int 0 // (𝕡) asset#0 | tmp%0#0,asset#0,0 0 amm/contract.py:291
int 0 // (𝕡) asset#0 | tmp%0#0,asset#0,0 UInt64(0) amm/contract.py:291
callsub do_asset_transfer // (𝕡) asset#0 | do_asset_transfer(\nreceiver=Global.current_application_address,\nasset=asset,\namount=UInt64(0),\n) amm/contract.py:288-292
retsub //

Expand Down Expand Up @@ -1290,7 +1290,7 @@ __init___block@0:
int 0 // "pool_token",0 the Pool Token, used to track share of pool the holder may recover\nself.pool_token = Asset() amm/contract.py:38-39
app_global_put // # The asset id of the Pool Token, used to track share of pool the holder may recover\nself.pool_t... amm/contract.py:38-39
byte "ratio" // "ratio" # The ratio between assets (A*Scale/B)\nself.ratio amm/contract.py:40-41
int 0 // "ratio",0 assets (A*Scale/B)\nself.ratio = UInt64(0 amm/contract.py:40-41
int 0 // "ratio",0 etween assets (A*Scale/B)\nself.ratio = UInt64(0) amm/contract.py:40-41
app_global_put // # The ratio between assets (A*Scale/B)\nself.ratio = UInt64(0) amm/contract.py:40-41
retsub //

Loading

0 comments on commit 6f79b8a

Please sign in to comment.