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

Store region of type annotation correctly

Browse source
This commit is contained in:
ayazhafiz 2022-05-05 21:07:02 -04:00 • committed by Richard Feldman
parent 0810d8194e
commit 514af619f5
No known key found for this signature in database
GPG key ID: 7E4127D1E4241798
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/parse/src/type_annotation.rs
View file

@ -475,6 +475,8 @@ fn expression<'a>(
space0_before_e(term(min_indent), min_indent, EType::TIndentStart) space0_before_e(term(min_indent), min_indent, EType::TIndentStart)
.parse(arena, state)?; .parse(arena, state)?;
let region = Region::span_across(&first.region, &return_type.region);
// prepare arguments // prepare arguments
let mut arguments = Vec::with_capacity_in(rest.len() + 1, arena); let mut arguments = Vec::with_capacity_in(rest.len() + 1, arena);
arguments.push(first); arguments.push(first);
@ -482,7 +484,7 @@ fn expression<'a>(
let output = arena.alloc(arguments); let output = arena.alloc(arguments);
let result = Loc { let result = Loc {
region: return_type.region, region,
value: TypeAnnotation::Function(output, arena.alloc(return_type)), value: TypeAnnotation::Function(output, arena.alloc(return_type)),
}; };
let progress = p1.or(p2).or(p3); let progress = p1.or(p2).or(p3);