Add pattern type for module params

This commit is contained in:
Agus Zubiaga 2024-07-01 18:06:41 -03:00
parent 90c7745989
commit 702092859e
No known key found for this signature in database
3 changed files with 3 additions and 2 deletions

View file

@ -401,8 +401,7 @@ pub fn canonicalize_module_defs<'a>(
var_store, var_store,
&mut scope, &mut scope,
&mut output, &mut output,
// todo(agus): custom type for param PatternType::ModuleParams,
PatternType::FunctionArg,
&pattern.value, &pattern.value,
pattern.region, pattern.region,
PermitShadows(false), PermitShadows(false),

View file

@ -25,6 +25,7 @@ pub enum PatternType {
DefExpr, DefExpr,
FunctionArg, FunctionArg,
WhenBranch, WhenBranch,
ModuleParams,
} }
pub fn closure_param<'a>() -> impl Parser<'a, Loc<Pattern<'a>>, EPattern<'a>> { pub fn closure_param<'a>() -> impl Parser<'a, Loc<Pattern<'a>>, EPattern<'a>> {

View file

@ -390,6 +390,7 @@ pub fn can_problem<'b>(
TopLevelDef => "a top-level definition:", TopLevelDef => "a top-level definition:",
DefExpr => "a value definition:", DefExpr => "a value definition:",
FunctionArg => "function arguments:", FunctionArg => "function arguments:",
ModuleParams => "module params:",
WhenBranch => unreachable!("all patterns are allowed in a When"), WhenBranch => unreachable!("all patterns are allowed in a When"),
}; };