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

new constant : C_CREATE_CONTRACT

Browse Source
This commit is contained in:
Lesenechal Remi 2020-02-27 12:49:38 +01:00
parent 79c15693f9
commit 3260e87d67
3 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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

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

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

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

@ -242,6 +242,7 @@ and constant ppf : constant' -> unit = function
| C_SELF_ADDRESS -> fprintf ppf "SELF_ADDRESS" | C_SELF_ADDRESS -> fprintf ppf "SELF_ADDRESS"
| C_IMPLICIT_ACCOUNT -> fprintf ppf "IMPLICIT_ACCOUNT" | C_IMPLICIT_ACCOUNT -> fprintf ppf "IMPLICIT_ACCOUNT"
| C_SET_DELEGATE -> fprintf ppf "SET_DELEGATE" | C_SET_DELEGATE -> fprintf ppf "SET_DELEGATE"
| C_CREATE_CONTRACT -> fprintf ppf "CREATE_CONTRACT"
let%expect_test _ = let%expect_test _ =
Format.printf "%a" value (D_bytes (Bytes.of_string "foo")) ; Format.printf "%a" value (D_bytes (Bytes.of_string "foo")) ;