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

create contract : conservative restrictions & errors in typer, before inlining/beta optimizations

Browse Source
This commit is contained in:
Lesenechal Remi 2020-03-02 12:53:03 +01:00
parent 9a30eb67c1
commit 1e5abda3ee
1 changed files with 12 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/passes/4-typer-old/typer.ml
View File

@ -154,9 +154,18 @@ module Errors = struct
] in
error ~data title message ()
let fvs_in_create_contract_lambda (e : I.expression) (case : Ast_typed.expression_variable) () =
let fvs_in_create_contract_lambda (e : I.expression) (fvar : Ast_typed.expression_variable) () =
let title = (thunk "No free variable allowed in this lambda") in
let message () = Format.asprintf "%a " Var.pp case in
let message () = Format.asprintf "variable '%a'" Var.pp fvar in
let data = [
("expression" , fun () -> Format.asprintf "%a" I.PP.expression e) ;
("location" , fun () -> Format.asprintf "%a" Location.pp e.location)
] in
error ~data title message ()
let create_contract_lambda (cst : I.constant') (e : I.expression) () =
let title () = Format.asprintf "%a first argument must be inlined" I.PP.constant cst in
let message () = Format.asprintf "contract code can be inlined using a lambda" in
let data = [
("expression" , fun () -> Format.asprintf "%a" I.PP.expression e) ;
("location" , fun () -> Format.asprintf "%a" Location.pp e.location)
@ -713,7 +722,7 @@ and type_expression' : environment -> ?tv_opt:O.type_expression -> I.expression
let fvs = Free_variables.lambda [] l in
if List.length fvs = 0 then ok ()
else fail @@ fvs_in_create_contract_lambda ae (List.hd fvs)
| _ -> ok ()
| _ -> fail @@ create_contract_lambda C_CREATE_CONTRACT ae
in
let tv_lst = List.map get_type_expression lst' in
let%bind (name', tv) =