also use new parser for space1

This commit is contained in:
Folkert 2021-03-12 00:37:58 +01:00
parent f5284d1db7
commit cffb8094b8

View file

@ -453,6 +453,16 @@ where
Err((a, b, c)) => Err((a, b, c)),
}
} else {
match spaces_help_help(min_indent, space_problem, indent_problem).parse(arena, state) {
Ok((MadeProgress, b, c)) => Ok((MadeProgress, b, c)),
Ok((NoProgress, b, state)) => Err((
NoProgress,
missing_space_problem(state.line, state.column),
state,
)),
Err((a, b, c)) => Err((a, b, c)),
}
/*
match spaces_help_help_help(
require_at_least_one,
min_indent,
@ -471,6 +481,7 @@ where
Err((a, b, c))
}
}
*/
}
}
}