loc_has_parser -> loc_implements_parser

This commit is contained in:
Bryce Miller 2023-05-26 23:09:22 -04:00
parent d2503bb9f2
commit 76c54c2e7a
No known key found for this signature in database
GPG Key ID: F1E97BF8DF152350
2 changed files with 3 additions and 3 deletions

View File

@ -15,7 +15,7 @@ use crate::parser::{
word2, EClosure, EExpect, EExpr, EIf, EInParens, EList, ENumber, EPattern, ERecord, EString, word2, EClosure, EExpect, EExpr, EIf, EInParens, EList, ENumber, EPattern, ERecord, EString,
EType, EWhen, Either, ParseResult, Parser, EType, EWhen, Either, ParseResult, Parser,
}; };
use crate::pattern::{closure_param, loc_has_parser}; use crate::pattern::{closure_param, loc_implements_parser};
use crate::state::State; use crate::state::State;
use crate::string_literal::StrLikeLiteral; use crate::string_literal::StrLikeLiteral;
use crate::type_annotation; use crate::type_annotation;
@ -618,7 +618,7 @@ pub fn parse_single_def<'a>(
if let Some((name, name_region, args)) = opt_tag_and_args { if let Some((name, name_region, args)) = opt_tag_and_args {
if let Ok((_, loc_has, state)) = if let Ok((_, loc_has, state)) =
loc_has_parser().parse(arena, state.clone(), min_indent) loc_implements_parser().parse(arena, state.clone(), min_indent)
{ {
let (_, (type_def, def_region), state) = finish_parsing_ability_def_help( let (_, (type_def, def_region), state) = finish_parsing_ability_def_help(
min_indent, min_indent,

View File

@ -154,7 +154,7 @@ fn loc_tag_pattern_arg<'a>(
} }
} }
pub fn loc_has_parser<'a>() -> impl Parser<'a, Loc<Implements<'a>>, EPattern<'a>> { pub fn loc_implements_parser<'a>() -> impl Parser<'a, Loc<Implements<'a>>, EPattern<'a>> {
then( then(
loc_tag_pattern_arg(false), loc_tag_pattern_arg(false),
|_arena, state, progress, pattern| { |_arena, state, progress, pattern| {