From ab0912a4f93c2be7473d9a5032c157a17d2d83bd Mon Sep 17 00:00:00 2001 From: Shon Feder Date: Wed, 22 Nov 2023 23:05:53 -0500 Subject: [PATCH] Fix line length lints This was causing noise in PR review changesets due to linter warnings. --- quint/src/parsing/ToIrListener.ts | 5 ++++- quint/src/types/specialConstraints.ts | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/quint/src/parsing/ToIrListener.ts b/quint/src/parsing/ToIrListener.ts index a67c93882..f758bd424 100644 --- a/quint/src/parsing/ToIrListener.ts +++ b/quint/src/parsing/ToIrListener.ts @@ -1000,7 +1000,10 @@ export class ToIrListener implements QuintListener { const elimId = this.getId(caseCtx) const variantMatch = caseCtx._variantMatch - // If there is not a variant param, then we have a wildcard case, `_ => foo`, or a hole in the paramater position, `Foo(_) => bar` + // If there is not a variant param, then we have one of two things + // + // - a wildcard case, `_ => foo` + // - a hole in the paramater position, `Foo(_) => bar` const name = variantMatch && variantMatch._variantParam ? variantMatch._variantParam.text : '_' const params = [{ name, id: this.getId(caseCtx) }] diff --git a/quint/src/types/specialConstraints.ts b/quint/src/types/specialConstraints.ts index 5a1a8194d..6fd08dadc 100644 --- a/quint/src/types/specialConstraints.ts +++ b/quint/src/types/specialConstraints.ts @@ -287,7 +287,7 @@ export function matchConstraints( elimExpr )}. Only one wildcard can appear and it must be the final case of a match.` ) - : validatedFields.push(right([labelExpr.value, elimType.args[0]])) // The label and associated type of a variant case + : validatedFields.push(right([labelExpr.value, elimType.args[0]])) // label and associated type of a variant case } // TODO: Support more expressive and informative type errors.