roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-22 08:17:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

Have List.first return Err ListWasEmpty

Browse Source
This commit is contained in:
Richard Feldman 2020-04-25 07:57:41 -04:00
parent 75d46053ec
commit d0c9c433a6
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
compiler/can/src/builtins.rs
View File

@ -123,7 +123,7 @@ fn list_get(var_store: &VarStore) -> Def {
}
}
/// List.first : List elem -> Result elem [ OutOfBounds ]*
/// List.first : List elem -> Result elem [ ListWasEmpty ]*
fn list_first(var_store: &VarStore) -> Def {
use crate::expr::Expr::*;
use crate::pattern::Pattern::*;
@ -149,18 +149,18 @@ fn list_first(var_store: &VarStore) -> Def {
var_store,
),
),
// then-branch
// list was empty
no_region(
// Err OutOfBounds
// Err ListWasEmpty
tag(
"Err",
vec![tag("OutOfBounds", Vec::new(), var_store)],
vec![tag("ListWasEmpty", Vec::new(), var_store)],
var_store,
),
),
)],
final_else: Box::new(
// default branch
// list was not empty
no_region(
// Ok (List.#getUnsafe list 0)
tag(