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

reproduce variable problem

Browse Source
This commit is contained in:
Richard Feldman 2020-02-19 18:18:46 -08:00
parent 91f708c4a4
commit a4e80b196e
1 changed files with 85 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

85
tests/test_infer.rs
View File

@ -1331,6 +1331,91 @@ mod test_infer {
);
}
#[test]
fn fake_result_ok() {
infer_eq(
indoc!(
r#"
Res a e : [ Okay a, Error e ]
ok : Res Int *
ok = Okay 5
ok
"#
),
"Res Int *",
);
}
#[test]
fn fake_result_err() {
infer_eq(
indoc!(
r#"
Res a e : [ Okay a, Error e ]
err : Res * Str
err = Error "blah"
err
"#
),
"Res * Str",
);
}
#[test]
fn basic_result_ok() {
infer_eq(
indoc!(
r#"
ok : Result Int *
ok = Ok 5
ok
"#
),
"Result Int *",
);
}
#[test]
fn basic_result_err() {
infer_eq(
indoc!(
r#"
err : Result * Str
err = Err "blah"
err
"#
),
"Result * Str",
);
}
#[test]
fn basic_result_conditional() {
infer_eq(
indoc!(
r#"
ok : Result Int *
ok = Ok 5
err : Result * Str
err = Err "blah"
if 1 > 0 then
ok
else
err
"#
),
"Result Int Str",
);
}
#[test]
fn qualified_annotated_num_floatingpoint() {
infer_eq(