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

Reformatted constant in AST2 to match that of Typecheck2

Browse Source
This commit is contained in:
Georges Dupéron 2019-03-14 18:45:38 +01:00
parent ea0198388e
commit 3bf5ad2819
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
AST2.ml
View File

@ -79,8 +79,12 @@ module O = struct
| MapLookup | MapLookup
and constant = and constant =
Unit | Int of Z.t | String of string | Bytes of MBytes.t | False | True Unit
| Null of type_expr | EmptySet of type_expr | CNone of type_expr | Int of Z.t | String of string | Bytes of MBytes.t
| False | True
| Null of type_expr
| EmptySet of type_expr
| CNone of type_expr
and instr = and instr =
Assignment of { name: var_name; value: expr } Assignment of { name: var_name; value: expr }