language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-02 16:21:11 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Changed Int div implementation to use !=

Browse source
This commit is contained in:
Chad Stearns 2020-05-01 17:29:12 -04:00
parent 6b6e6f0eec
commit 4b5f7bfded
2 changed files with 10 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -136,14 +136,6 @@ fn int_div(var_store: &VarStore) -> Def {
var_store, var_store,
), ),
), ),
// Denominator is zero
no_region(tag(
"Err",
vec![tag("DivByZero", Vec::new(), var_store)],
var_store,
)),
)],
final_else: Box::new(
// denominator was not zero // denominator was not zero
no_region( no_region(
// Ok (Int.#divUnsafe numerator denominator) // Ok (Int.#divUnsafe numerator denominator)
@ -163,6 +155,14 @@ fn int_div(var_store: &VarStore) -> Def {
var_store, var_store,
), ),
), ),
)],
final_else: Box::new(
// denominator was zero
no_region(tag(
"Err",
vec![tag("DivByZero", Vec::new(), var_store)],
var_store,
)),
), ),
}; };

4
compiler/solve/tests/test_uniq_solve.rs
View file

@ -2097,8 +2097,8 @@ mod test_uniq_solve {
reverse reverse
"# "#
), ),
// "Attr * (Attr * (List (Attr (a | b) c)) -> Attr (* | a | b) (List (Attr b c)))", "Attr * (Attr * (List (Attr (a | b) c)) -> Attr (* | a | b) (List (Attr b c)))",
"Attr * (Attr * (List (Attr (a | b) c)) -> Attr (* | a | b) (List (Attr a c)))", // "Attr * (Attr * (List (Attr (a | b) c)) -> Attr (* | a | b) (List (Attr a c)))",
); );
} }