balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Remove Current.gas from LIGO

Browse Source
This commit is contained in:
John David Pressman 2020-02-12 02:24:58 -08:00
parent 902e958205
commit 953e91bc54
4 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/passes/operators/operators.ml
View File

@ -154,8 +154,6 @@ module Simplify = struct
| "time" -> ok C_NOW
| "Current.amount" -> ok C_AMOUNT
| "amount" -> ok C_AMOUNT
| "Current.gas" -> ok C_STEPS_TO_QUOTA
| "gas" -> ok C_STEPS_TO_QUOTA
| "Current.sender" -> ok C_SENDER
| "Current.address" -> ok C_ADDRESS
| "Current.self_address" -> ok C_SELF_ADDRESS

1
src/stages/common/PP.ml
View File

@ -146,7 +146,6 @@ let constant ppf : constant' -> unit = function
| C_SELF_ADDRESS -> fprintf ppf "SELF_ADDRESS"
| C_IMPLICIT_ACCOUNT -> fprintf ppf "IMPLICIT_ACCOUNT"
| C_SET_DELEGATE -> fprintf ppf "SET_DELEGATE"
| C_STEPS_TO_QUOTA -> fprintf ppf "STEPS_TO_QUOTA"
let literal ppf (l : literal) =
match l with

1
src/stages/common/types.ml
View File

@ -288,4 +288,3 @@ and constant' =
| C_SELF_ADDRESS
| C_IMPLICIT_ACCOUNT
| C_SET_DELEGATE
| C_STEPS_TO_QUOTA

1
src/stages/mini_c/PP.ml
View File

@ -241,7 +241,6 @@ and constant ppf : constant' -> unit = function
| C_ADDRESS -> fprintf ppf "ADDRESS"
| C_SELF_ADDRESS -> fprintf ppf "SELF_ADDRESS"
| C_IMPLICIT_ACCOUNT -> fprintf ppf "IMPLICIT_ACCOUNT"
| C_STEPS_TO_QUOTA -> fprintf ppf "STEPS_TO_QUOTA"
| C_SET_DELEGATE -> fprintf ppf "SET_DELEGATE"
let%expect_test _ =