kind-projector issues

flake.lock: Update

Automated changes by the [update-flake-lock](https://github.com/DeterminateSystems/update-flake-lock) GitHub Action. ``` Flake lock file updates: • Updated input 'typelevel-nix': 'github:rossabaker/typelevel-nix/52169f0a21ffe51a16598423290ebf7d0d6cc2b1' (2024-03-04) → 'github:rossabaker/typelevel-nix/60c3868688cb8f5f7ebc781f6e122c061ae35d4d' (2024-03-11) • Updated input 'typelevel-nix/nixpkgs': 'github:nixos/nixpkgs/fa9a51752f1b5de583ad5213eb621be071806663' (2024-03-02) → 'github:nixos/nixpkgs/d40e866b1f98698d454dad8f592fe7616ff705a4' (2024-03-10)...

typelevel-steward[bot]

java.lang.NullPointerException on const type + infix resolving

(moving from https://github.com/scala/bug/issues/12986) ## Reproduction steps Scala version: 2.13.13 ```scala trait +[A, B] trait *[A, B] implicitly[(1 + 3 * 4) =:= (1 + (3 * 4))] ``` ## Problem...

tribbloid

Migration plan for placeholders in higher kinded type lambdas?

1

I started a discussion on the contributors forum, and just wanted to ask here what would be the migration strategy for higher kinded type lambdas with placeholders? https://contributors.scala-lang.org/t/confusion-regarding-placeholders-for-higher-kinded-type-lambdas/5795/5

hejfelix

java.lang.NoSuchMethodError: scala.tools.nsc.Global.reporter()Lscala/tools/nsc/reporters/Reporter

2

Thanks for this plugin, but i have a issue compiling with the following environment: - scala version: 2.12.15 - scala-maven-plugin: 4.3.0 **errorMsg:** [ERROR] Failed to execute goal net.alchim31.maven:scala-maven-plugin:4.3.0:compile (scala-compile-first) on...

yikf

support

Set versionScheme

``` [warn] versionScheme setting is empty; set `ThisBuild / versionScheme := Some("early-semver")`, `Some("semver-spec")` or `Some("pvp")` [warn] so tooling can use it for eviction errors etc - https://www.scala-sbt.org/1.x/docs/Publishing.html ```

rossabaker

Alternative syntax for polymorphic lambdas (for Shapeless)

3

Currently `kind-projector` allows ```scala val g = λ[Id ~> Option].run(x => Some(x)) ``` to be rewritten as ```scala val g = new (Id ~> Option) { def run[A](x: Id[A]): Option[A]...

yangzai

Assertions with -Ycheck:all

2

```scala [check: kind-projector] 1 new symbols. [check: kind-projector] package scala Caught java.lang.AssertionError: assertion failed: semigroup.scala java.lang.AssertionError: assertion failed: at scala.reflect.internal.SymbolTable.throwAssertionError(SymbolTable.scala:163) at scala.tools.nsc.typechecker.Typers$Typer.typedPackageDef$1(Typers.scala:5260) at scala.tools.nsc.typechecker.Typers$Typer.typedMemberDef$1(Typers.scala:5555) at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:5602) at scala.tools.nsc.typechecker.Typers$Typer.runTyper$1(Typers.scala:5640) at scala.tools.nsc.typechecker.Typers$Typer.typedInternal(Typers.scala:5672)...

sir-wabbit

not found: value λ

9

Any idea why I can use `*` but not `λ`? ``` sbt:hedgehog> show Test/libraryDependencies [info] test / Test / libraryDependencies [info] List(org.scala-lang:scala-library:2.12.11, org.typelevel:kind-projector:0.11.0:plugin->default(compile)) [info] runner / Test / libraryDependencies [info]...

steinybot