Merge pull request #1262 from informalsystems/fix-lints

Fix line length lints
informalsystems · Nov 23, 2023 · 814fca6 · 814fca6
2 parents b361da0 + e244651
commit 814fca6
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git 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
@@ -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.