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

Fix List.get types

Browse source
This commit is contained in:
Richard Feldman 2020-06-25 21:22:32 -04:00
parent ae58ef914d
commit ee52d52047
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -462,6 +462,7 @@ fn list_get(symbol: Symbol, var_store: &mut VarStore) -> Def {
let len_var = var_store.fresh();
let branch_var = var_store.fresh();
let list_var = var_store.fresh();
let elem_var = var_store.fresh();
// Perform a bounds check. If it passes, run LowLevel::ListGetUnsafe
let body = If {
@ -497,7 +498,7 @@ fn list_get(symbol: Symbol, var_store: &mut VarStore) -> Def {
RunLowLevel {
op: LowLevel::ListGetUnsafe,
args: vec![(list_var, Var(arg_list)), (len_var, Var(arg_index))],
ret_var: len_var,
ret_var: elem_var,
},
],
var_store,