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

Expose tez mod tez, too

Browse Source
This commit is contained in:
Tom Jack 2019-10-11 14:54:22 -05:00
parent d87d0aab73
commit e672d10029
3 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -445,6 +445,8 @@ module Typer = struct
let mod_ = typer_2 "MOD" @@ fun a b ->
if (eq_1 a (t_nat ()) || eq_1 a (t_int ())) && (eq_1 b (t_nat ()) || eq_1 b (t_int ()))
then ok @@ t_nat () else
if eq_1 a (t_tez ()) && eq_1 b (t_tez ())
then ok @@ t_tez () else
simple_fail "Computing modulo with wrong types"
let add = typer_2 "ADD" @@ fun a b ->

4
src/test/contracts/tez.ligo
View File

@ -10,3 +10,7 @@ const tez_mul_nat : tez = 100mtz * 10n;
const tez_div_tez1 : nat = 100mtz / 1mtz;
const tez_div_tez2 : nat = 100mtz / 90mtz;
const tez_div_tez3 : nat = 100mtz / 110mtz;
const tez_mod_tez1 : tez = 100mtz mod 1mtz;
const tez_mod_tez2 : tez = 100mtz mod 90mtz;
const tez_mod_tez3 : tez = 100mtz mod 110mtz;

3
src/test/integration_tests.ml
View File

@ -834,6 +834,9 @@ let tez_ligo () : unit result =
let%bind _ = expect_eq_evaluate program "tez_div_tez1" (e_nat 100) in
let%bind _ = expect_eq_evaluate program "tez_div_tez2" (e_nat 1) in
let%bind _ = expect_eq_evaluate program "tez_div_tez3" (e_nat 0) in
let%bind _ = expect_eq_evaluate program "tez_mod_tez1" (e_mutez 0) in
let%bind _ = expect_eq_evaluate program "tez_mod_tez2" (e_mutez 10) in
let%bind _ = expect_eq_evaluate program "tez_mod_tez3" (e_mutez 100) in
ok ()
let tez_mligo () : unit result =