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

Simplify more

Browse Source
This commit is contained in:
Tom Jack 2019-10-07 09:12:10 -05:00 committed by Lesenechal Remi
parent 1c2c6cbc43
commit e2c831a231
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/passes/4-typer/typer.ml
View File

@ -615,12 +615,6 @@ and type_expression : environment -> ?tv_opt:O.type_value -> I.expression -> O.a
let output_type = body.type_annotation in
return (E_lambda {binder = fst binder ; body}) (t_function input_type output_type ())
)
| E_constant ("NONE", []) ->
let%bind tv_opt = bind_map_option get_t_option tv_opt in
begin match tv_opt with
| None -> fail @@ simple_info "None without a type annotation"
| Some tv -> return (E_constant ("NONE", [])) (t_option tv ())
end
| E_constant (name, lst) ->
let%bind lst' = bind_list @@ List.map (type_expression e) lst in
let tv_lst = List.map get_type_annotation lst' in