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

Type subtraction also as nat->int->int and int->nat->int

Browse Source
This commit is contained in:
Tom Jack 2019-11-17 16:15:06 -06:00
parent adb4572bde
commit 49586b65be
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/passes/operators/operators.ml
View File

@ -318,9 +318,8 @@ module Typer = struct
| Some t -> ok t
let sub = typer_2 "SUB" @@ fun a b ->
if (eq_2 (a , b) (t_int ()))
then ok @@ t_int () else
if (eq_2 (a , b) (t_nat ()))
if (eq_1 a (t_int ()) || eq_1 a (t_nat ()))
&& (eq_1 b (t_int ()) || eq_1 b (t_nat ()))
then ok @@ t_int () else
if (eq_2 (a , b) (t_timestamp ()))
then ok @@ t_int () else