[fix] MiMA fixes

j-mie6 · Sep 12, 2023 · 47c3f7d · 47c3f7d
1 parent b347a0d
commit 47c3f7d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/parsley/shared/src/main/scala/parsley/position.scala b/parsley/shared/src/main/scala/parsley/position.scala
@@ -106,6 +106,8 @@ object position {
       */
     val offset: Parsley[Int] = internalOffset
 
-    //TODO: document and test
+    private [parsley] def withSpan[A, S](end: Parsley[S])(p: Parsley[A]): Parsley[(S, A, S)] = (end, p, end).zipped
+
+    //TODO: test and document
     def withWidth[A](p: Parsley[A]): Parsley[(A, Int)] = (offset, p, offset).zipped((s, x, e) => (x, e-s))
 }
diff --git a/project/mima.scala b/project/mima.scala
@@ -26,6 +26,8 @@ object mima {
         ProblemFilters.exclude[DirectMissingMethodProblem]("parsley.token.errors.*.label"),
         ProblemFilters.exclude[IncompatibleMethTypeProblem]("parsley.token.errors.*.this"),
         ProblemFilters.exclude[IncompatibleMethTypeProblem]("parsley.errors.helpers#WhitespaceOrUnprintable.unapply"),
+        ProblemFilters.exclude[DirectMissingMethodProblem]("parsley.position.internalOffsetSpan"),
+        ProblemFilters.exclude[DirectMissingMethodProblem]("parsley.position.spanWith"),
         // Expression refactor
         ProblemFilters.exclude[ReversedMissingMethodProblem]("parsley.expr.Fixity.chain"),
         ProblemFilters.exclude[ReversedMissingMethodProblem]("parsley.expr.Ops.chain"),