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

add cast from string to address

Browse Source
This commit is contained in:
Galfour 2019-05-08 13:50:41 +00:00
parent 89308bcf4e
commit 72aabf1f49
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/ligo/typer/typer.ml
View File

@ -356,8 +356,11 @@ and type_annotated_expression : environment -> I.annotated_expression -> O.annot
return (E_literal (Literal_bool b)) (t_bool ()) return (E_literal (Literal_bool b)) (t_bool ())
| E_literal Literal_unit -> | E_literal Literal_unit ->
return (E_literal (Literal_unit)) (t_unit ()) return (E_literal (Literal_unit)) (t_unit ())
| E_literal (Literal_string s) -> | E_literal (Literal_string s) -> (
return (E_literal (Literal_string s)) (t_string ()) match Option.map ~f:Ast_typed.get_type' tv_opt with
| Some (T_constant ("address" , [])) -> return (E_literal (Literal_address s)) (t_string ())
| _ -> return (E_literal (Literal_string s)) (t_string ())
)
| E_literal (Literal_bytes s) -> | E_literal (Literal_bytes s) ->
return (E_literal (Literal_bytes s)) (t_bytes ()) return (E_literal (Literal_bytes s)) (t_bytes ())
| E_literal (Literal_int n) -> | E_literal (Literal_int n) ->