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

Fix some vars

Browse source
This commit is contained in:
Richard Feldman 2020-06-23 23:50:20 -04:00
parent faa5f281fb
commit 35446348a3
1 changed files with 27 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

41
compiler/can/src/builtins.rs
View file

@ -275,13 +275,16 @@ fn num_tan(symbol: Symbol, var_store: &mut VarStore) -> Def {
/// Num.isZero : Float -> Bool /// Num.isZero : Float -> Bool
fn num_is_zero(symbol: Symbol, var_store: &mut VarStore) -> Def { fn num_is_zero(symbol: Symbol, var_store: &mut VarStore) -> Def {
let arg_var = var_store.fresh(); let arg_var = var_store.fresh();
let bool_var = var_store.fresh();
let unbound_zero_var = var_store.fresh();
let body = RunLowLevel { let body = RunLowLevel {
op: LowLevel::Eq, op: LowLevel::Eq,
args: vec![ args: vec![
(arg_var, Var(Symbol::ARG_1)), (arg_var, Var(Symbol::ARG_1)),
(arg_var, Num(var_store.fresh(), 0)), (arg_var, Num(unbound_zero_var, 0)),
], ],
ret_var: var_store.fresh(), ret_var: bool_var,
}; };
defn(symbol, vec![Symbol::ARG_1], var_store, body) defn(symbol, vec![Symbol::ARG_1], var_store, body)
@ -290,13 +293,16 @@ fn num_is_zero(symbol: Symbol, var_store: &mut VarStore) -> Def {
/// Num.isNegative : Float -> Bool /// Num.isNegative : Float -> Bool
fn num_is_negative(symbol: Symbol, var_store: &mut VarStore) -> Def { fn num_is_negative(symbol: Symbol, var_store: &mut VarStore) -> Def {
let arg_var = var_store.fresh(); let arg_var = var_store.fresh();
let bool_var = var_store.fresh();
let unbound_zero_var = var_store.fresh();
let body = RunLowLevel { let body = RunLowLevel {
op: LowLevel::NumGt, op: LowLevel::NumGt,
args: vec![ args: vec![
(arg_var, Num(var_store.fresh(), 0)), (arg_var, Num(unbound_zero_var, 0)),
(arg_var, Var(Symbol::ARG_1)), (arg_var, Var(Symbol::ARG_1)),
], ],
ret_var: var_store.fresh(), ret_var: bool_var,
}; };
defn(symbol, vec![Symbol::ARG_1], var_store, body) defn(symbol, vec![Symbol::ARG_1], var_store, body)
@ -305,13 +311,16 @@ fn num_is_negative(symbol: Symbol, var_store: &mut VarStore) -> Def {
/// Num.isPositive : Float -> Bool /// Num.isPositive : Float -> Bool
fn num_is_positive(symbol: Symbol, var_store: &mut VarStore) -> Def { fn num_is_positive(symbol: Symbol, var_store: &mut VarStore) -> Def {
let arg_var = var_store.fresh(); let arg_var = var_store.fresh();
let bool_var = var_store.fresh();
let unbound_zero_var = var_store.fresh();
let body = RunLowLevel { let body = RunLowLevel {
op: LowLevel::NumGt, op: LowLevel::NumGt,
args: vec![ args: vec![
(arg_var, Var(Symbol::ARG_1)), (arg_var, Var(Symbol::ARG_1)),
(arg_var, Num(var_store.fresh(), 0)), (arg_var, Num(unbound_zero_var, 0)),
], ],
ret_var: var_store.fresh(), ret_var: bool_var,
}; };
defn(symbol, vec![Symbol::ARG_1], var_store, body) defn(symbol, vec![Symbol::ARG_1], var_store, body)
@ -654,9 +663,13 @@ fn num_abs(symbol: Symbol, var_store: &mut VarStore) -> Def {
/// Num.div : Float, Float -> Result Float [ DivByZero ]* /// Num.div : Float, Float -> Result Float [ DivByZero ]*
fn num_div_float(symbol: Symbol, var_store: &mut VarStore) -> Def { fn num_div_float(symbol: Symbol, var_store: &mut VarStore) -> Def {
let bool_var = var_store.fresh(); let bool_var = var_store.fresh();
let num_var = var_store.fresh();
let unbound_zero_var = var_store.fresh();
let branch_var = var_store.fresh();
let body = If { let body = If {
branch_var: var_store.fresh(), branch_var,
cond_var: var_store.fresh(), cond_var: bool_var,
branches: vec![( branches: vec![(
// if-condition // if-condition
no_region( no_region(
@ -664,10 +677,10 @@ fn num_div_float(symbol: Symbol, var_store: &mut VarStore) -> Def {
RunLowLevel { RunLowLevel {
op: LowLevel::NotEq, op: LowLevel::NotEq,
args: vec![ args: vec![
(bool_var, Var(Symbol::ARG_1)), (num_var, Var(Symbol::ARG_1)),
(bool_var, Float(var_store.fresh(), 0.0)), (num_var, Float(unbound_zero_var, 0.0)),
], ],
ret_var: var_store.fresh(), ret_var: bool_var,
}, },
), ),
// denominator was not zero // denominator was not zero
@ -680,10 +693,10 @@ fn num_div_float(symbol: Symbol, var_store: &mut VarStore) -> Def {
RunLowLevel { RunLowLevel {
op: LowLevel::NumDivUnchecked, op: LowLevel::NumDivUnchecked,
args: vec![ args: vec![
(var_store.fresh(), Var(Symbol::ARG_1)), (num_var, Var(Symbol::ARG_1)),
(var_store.fresh(), Var(Symbol::ARG_2)), (num_var, Var(Symbol::ARG_2)),
], ],
ret_var: var_store.fresh(), ret_var: num_var,
}, },
], ],
var_store, var_store,