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

Reproduce parse bug

Browse Source
This commit is contained in:
Richard Feldman 2020-07-23 21:36:49 -04:00
parent 74fa1bc56d
commit db3dbe3551
1 changed files with 34 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
compiler/reporting/tests/test_reporting.rs
View File

@ -3667,26 +3667,40 @@ mod test_reporting {
)
}
// TODO field accessors give a parse error at the moment
// #[test]
// fn optional_record_invalid_accessor() {
// report_problem_as(
// indoc!(
// r#"
// f : { x : Int, y ? Int } -> Int
// f = \r -> .y r
//
// f
// "#
// ),
// indoc!(
// r#"
// -- TYPE MISMATCH ---------------------------------------------------------------
//
// "#
// ),
// )
// }
#[test]
fn optional_record_invalid_accessor() {
report_problem_as(
indoc!(
r#"
f : { x : Int, y ? Int } -> Int
f = \r -> .y r
f
"#
),
indoc!(
r#"
-- TYPE MISMATCH ---------------------------------------------------------------
The 1st argument to this function is not what I expect:
2 ┆ f = \r -> .y r
┆ ^
This `r` value is a:
{ x : Int, y ? Int }
But this function needs the 1st argument to be:
{ x : Int, y : Int }
Hint: To extract the `.y` field it must be non-optional, but the type
says this field is optional. Learn more about optional fields at TODO.
"#
),
)
}
#[test]
fn guard_mismatch_with_annotation() {