scala / scala/scala3

Inkuire gives back a `Resolving error: Could not resolve type: Function1`

Open
#16,632 8 comments 0 reactions 1 assignee View on GitHub

@KacperFKorban is already working on this.

Since Jan 9, 2023.

area:doctool itype:bug
Dominant language
Scala
Stars
6.3k
Forks
1.2k
Avg merge
1d 17h
Merged PRs (30d)
126

Description

Cats recently added the -Ygenerate-inkuire flag for Scala versions 3.2.1+. However using the Inkuire functionality for certain types of function signatures gives back a could not resolve type error.

Compiler version

3.2.1

Minimized example

Visit: https://s01.oss.sonatype.org/service/local/repositories/snapshots/archive/org/typelevel/cats-docs_3/2.10-0b2494a-SNAPSHOT/cats-docs_3-2.10-0b2494a-SNAPSHOT-javadoc.jar/!/index.html
And then search using this function signature: F[A] => (A => B) => F[B]

  • You can also try searching for F[A] => (A => G[B]) => G[F[B]] which returns the same error.

Output

Resolving error: Could not resolve type: Function1
image

Expectation

Inkuire finding functions like map in case of F[A] => (A => B) => F[B]

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.