Jonathan Graveline pushed to branch graveline at Stefan / Typer
Commits: 3b80038f by Jonathan Graveline at 2018-05-14T22:19:39Z Added some function for Int, Float, String - - - - -
1 changed file:
- btl/builtins.typer
Changes:
===================================== btl/builtins.typer ===================================== --- a/btl/builtins.typer +++ b/btl/builtins.typer @@ -99,11 +99,26 @@ _-_ = Built-in "Int.-" : Int -> Int -> Int; _*_ = Built-in "Int.*" : Int -> Int -> Int; _/_ = Built-in "Int./" : Int -> Int -> Int;
+%% modulo +Int_mod = Built-in "Int.mod" : Int -> Int -> Int; + +%% Operators on bits +Int_and = Built-in "Int.and" : Int -> Int -> Int; +Int_or = Built-in "Int.or" : Int -> Int -> Int; +Int_xor = Built-in "Int.xor" : Int -> Int -> Int; +Int_lsl = Built-in "Int.lsl" : Int -> Int -> Int; +Int_lsr = Built-in "Int.lsr" : Int -> Int -> Int; +Int_asr = Built-in "Int.asr" : Int -> Int -> Int; + Int_< = Built-in "Int.<" : Int -> Int -> Bool; Int_> = Built-in "Int.>" : Int -> Int -> Bool; Int_eq = Built-in "Int.=" : Int -> Int -> Bool; Int_<= = Built-in "Int.<=" : Int -> Int -> Bool; Int_>= = Built-in "Int.>=" : Int -> Int -> Bool; + +%% bitwise negation +Int_not = Built-in "Int.not" : Int -> Int; + Int->Integer = Built-in "Int->Integer" : Int -> Integer;
Integer_+ = Built-in "Integer.+" : Integer -> Integer -> Integer; @@ -123,7 +138,19 @@ Float_* = Built-in "Float.*" : Float -> Float -> Float; Float_/ = Built-in "Float./" : Float -> Float -> Float; Float->String = Built-in "Float->String" : Float -> String;
+Float_< = Built-in "Float.<" : Float -> Float -> Bool; +Float_> = Built-in "Float.>" : Float -> Float -> Bool; +Float_eq = Built-in "Float.=" : Float -> Float -> Bool; +Float_<= = Built-in "Float.<=" : Float -> Float -> Bool; +Float_>= = Built-in "Float.>=" : Float -> Float -> Bool; + +Float_trunc = Built-in "Float.trunc" : Float -> Float; + String_eq = Built-in "String.=" : String -> String -> Bool; + +String_concat = Built-in "String.concat" : String -> String -> String; +String_sub = Built-in "String.sub" : String -> Int -> Int -> String; + Sexp_eq = Built-in "Sexp.=" : Sexp -> Sexp -> Bool;
%% -----------------------------------------------------
View it on GitLab: https://gitlab.com/monnier/typer/commit/3b80038f8e4a6fdd8b9194bf9536f420cc60...
Afficher les réponses par date