From 953e91bc543c8fd029530d5db9d370ddd0848264 Mon Sep 17 00:00:00 2001 From: John David Pressman Date: Wed, 12 Feb 2020 02:24:58 -0800 Subject: [PATCH] Remove Current.gas from LIGO --- src/passes/operators/operators.ml | 2 -- src/stages/common/PP.ml | 1 - src/stages/common/types.ml | 1 - src/stages/mini_c/PP.ml | 1 - 4 files changed, 5 deletions(-) diff --git a/src/passes/operators/operators.ml b/src/passes/operators/operators.ml index 968b73a1a..94ec09373 100644 --- a/src/passes/operators/operators.ml +++ b/src/passes/operators/operators.ml @@ -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 diff --git a/src/stages/common/PP.ml b/src/stages/common/PP.ml index 7235c9472..a3928e26a 100644 --- a/src/stages/common/PP.ml +++ b/src/stages/common/PP.ml @@ -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 diff --git a/src/stages/common/types.ml b/src/stages/common/types.ml index d390d1d46..e923bc924 100644 --- a/src/stages/common/types.ml +++ b/src/stages/common/types.ml @@ -288,4 +288,3 @@ and constant' = | C_SELF_ADDRESS | C_IMPLICIT_ACCOUNT | C_SET_DELEGATE - | C_STEPS_TO_QUOTA diff --git a/src/stages/mini_c/PP.ml b/src/stages/mini_c/PP.ml index fb607db79..626b6a23c 100644 --- a/src/stages/mini_c/PP.ml +++ b/src/stages/mini_c/PP.ml @@ -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 _ =