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

def parsing does not need to consider backpassing

Browse source
This commit is contained in:
Folkert 2021-03-15 23:06:28 +01:00
parent 1b4a6aee04
commit 301f02172e
1 changed files with 1 additions and 31 deletions
Download patch file Download diff file Expand all files Collapse all files

32
compiler/parse/src/expr.rs
View file

@ -673,7 +673,7 @@ fn append_body_definition_help<'a>(
loc_pattern_ann: &'a Located<Pattern<'a>>,
loc_ann: &'a Located<TypeAnnotation<'a>>,
) {
let comment = match before_ann_spaces.get(0) {
let comment = match before_body_spaces.get(0) {
Some(CommentOrNewline::LineComment(s)) => Some(*s),
Some(CommentOrNewline::DocComment(s)) => Some(*s),
_ => None,
@ -881,34 +881,6 @@ fn parse_defs_end<'a>(
return parse_defs_end(start, def_state, arena, state);
}
Ok((_, BinOp::Backpassing, state)) => {
let parse_body = space0_before_e(
move |a, s| parse_expr_help(min_indent + 1, a, s),
min_indent,
EExpr::Space,
EExpr::IndentEnd,
);
let (_, loc_body, state) = parse_body.parse(arena, state)?;
let (_, loc_cont, state) = parse_body.parse(arena, state)?;
let region = Region::span_across(&loc_pattern.region, &loc_cont.region);
let ret = Expr::Backpassing(
arena.alloc([loc_pattern]),
arena.alloc(loc_body),
arena.alloc(loc_cont),
);
let loc_ret = Located::at(region, ret);
return Ok((
MadeProgress,
Expr::Defs(def_state.defs.into_bump_slice(), arena.alloc(loc_ret)),
state,
));
}
_ => {
// this is no def, because there is no `=`, `:` or `<-`; parse as an expr
let state = initial;
@ -1093,8 +1065,6 @@ fn parse_expr_operator<'a>(
let (_, mut ann_type, state) =
parse_expr_help(indented_more, arena, state)?;
dbg!(&ann_type);
// put the spaces from after the operator in front of the call
if !spaces_after_operator.is_empty() {
ann_type = arena