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

operations_decl is now disallowed

Browse Source
This commit is contained in:
Georges Dupéron 2019-03-14 18:05:57 +01:00
parent 03671802eb
commit 9db37fbdc4
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
AST2.ml
View File

@ -93,7 +93,6 @@ module O = struct
type ast = {
types : type_decl list;
storage_decl : typed_var;
operations_decl : typed_var;
declarations : decl list;
}
end
@ -591,10 +590,10 @@ let s_ast (ast : I.ast) : O.ast =
let storage_decl = match storage_decl with
Some x -> x
| None -> failwith "Missing storage declaration" in
let operations_decl = match operations_decl with
Some x -> x
| None -> failwith "Missing storage declaration"
in {types; storage_decl; operations_decl; declarations}
let () = match operations_decl with
Some _ -> failwith "Operations declaration is not allowed anymore TODO"
| None -> ()
in {types; storage_decl; declarations}