language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 08:34:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Drop variant_or_ident

Browse source
This commit is contained in:
Richard Feldman 2019-09-20 00:10:39 -04:00
parent e5fcf70b87
commit 3244330a5d
1 changed files with 6 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

24
src/parse/mod.rs
View file

@ -324,33 +324,21 @@ pub fn record_literal<'a>(min_indent: u16) -> impl Parser<'a, Expr<'a>> {
attempt(Attempting::List, map(fields, Expr::Record))
}
/// This is for matching variants in patterns
///
/// * A record field, e.g. "email" in `.email` or in `email:`
/// * A named pattern match, e.g. "foo" in `foo =` or `foo ->` or `\foo ->`
fn unqualified_variant<'a>() -> impl Parser<'a, &'a str> {
variant_or_ident(|first_char| first_char.is_uppercase())
}
/// This could be:
///
/// * A record field, e.g. "email" in `.email` or in `email:`
/// * A named pattern match, e.g. "foo" in `foo =` or `foo ->` or `\foo ->`
fn unqualified_ident<'a>() -> impl Parser<'a, &'a str> {
variant_or_ident(|first_char| first_char.is_lowercase())
}
fn variant_or_ident<'a, F>(pred: F) -> impl Parser<'a, &'a str> where F: Fn(char) -> bool {
pub fn unqualified_ident<'a>() -> impl Parser<'a, &'a str> {
move |arena, state: State<'a>| {
let mut chars = state.input.chars();
// pred will determine if this is a variant or ident (based on capitalization)
// Idents must start with a lowercase letter.
let first_letter = match chars.next() {
Some(first_char) => {
if pred(first_char) {
first_char
Some(ch) => {
if ch.is_alphabetic() && ch.is_lowercase() {
ch
} else {
return Err(unexpected(first_char, 0, state, Attempting::RecordFieldLabel));
return Err(unexpected(ch, 0, state, Attempting::RecordFieldLabel));
}
}
None => {