Merge pull request #2361 from rtfeldman/cleanup_builtins_Num.minmaxI128

Remove leftover TODOs from #2354
This commit is contained in:
Richard Feldman 2022-01-20 18:21:29 -05:00 committed by GitHub
commit 83f12b6e53
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1453,7 +1453,6 @@ fn num_max_u64(symbol: Symbol, var_store: &mut VarStore) -> Def {
fn num_min_i128(symbol: Symbol, var_store: &mut VarStore) -> Def { fn num_min_i128(symbol: Symbol, var_store: &mut VarStore) -> Def {
let int_var = var_store.fresh(); let int_var = var_store.fresh();
let int_precision_var = var_store.fresh(); let int_precision_var = var_store.fresh();
// TODO: or `i128::MIN.into()` ?
let body = int::<i128>(int_var, int_precision_var, i128::MIN); let body = int::<i128>(int_var, int_precision_var, i128::MIN);
let std = roc_builtins::std::types(); let std = roc_builtins::std::types();
@ -1469,7 +1468,6 @@ fn num_min_i128(symbol: Symbol, var_store: &mut VarStore) -> Def {
}; };
Def { Def {
// TODO: or `None` ?
annotation: Some(annotation), annotation: Some(annotation),
expr_var: int_var, expr_var: int_var,
loc_expr: Loc::at_zero(body), loc_expr: Loc::at_zero(body),