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

Change names to the standard library names for the functions in OCaml

Browse Source
This commit is contained in:
John David Pressman 2019-10-27 12:05:34 -07:00
parent ea661247b6
commit cae0dfb1aa
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -177,9 +177,9 @@ module Simplify = struct
("Big_map.literal" , "BIG_MAP_LITERAL" ) ; ("Big_map.literal" , "BIG_MAP_LITERAL" ) ;
("Big_map.empty" , "BIG_MAP_EMPTY" ) ; ("Big_map.empty" , "BIG_MAP_EMPTY" ) ;
("Bitwise.bor" , "OR") ; ("Bitwise.lor" , "OR") ;
("Bitwise.band" , "AND") ; ("Bitwise.land" , "AND") ;
("Bitwise.xor" , "XOR") ; ("Bitwise.lxor" , "XOR") ;
("String.length", "SIZE") ; ("String.length", "SIZE") ;
("String.size", "SIZE") ; ("String.size", "SIZE") ;

6
src/test/contracts/bitwise_arithmetic.mligo
View File

@ -1,10 +1,10 @@
(* Test CameLIGO bitwise operators *) (* Test CameLIGO bitwise operators *)
let or_op (n : nat) : nat = let or_op (n : nat) : nat =
Bitwise.bor n 4p Bitwise.lor n 4p
let and_op (n : nat) : nat = let and_op (n : nat) : nat =
Bitwise.band n 7p Bitwise.land n 7p
let xor_op (n : nat) : nat = let xor_op (n : nat) : nat =
Bitwise.xor n 7p Bitwise.lxor n 7p