language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-01 15:51:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Add Num.powInt types

Browse source
This commit is contained in:
Dimitar Apostolov 2020-09-15 22:02:28 +02:00
parent 50223ae93c
commit 51e4b14131
3 changed files with 24 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/builtins/src/unique.rs
View file

@ -463,6 +463,12 @@ pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
unique_function(vec![float_type(star1)], int_type(star2))
});
// powInt : Int, Int -> Int
add_type(Symbol::NUM_POW_INT, {
let_tvars! { star1, star2, star3 };
unique_function(vec![int_type(star1), int_type(star2)], int_type(star3))
});
// Bool module
// isEq or (==) : Attr * a, Attr * a -> Attr * Bool