Kai
Kai
Expose generation of `accessible` forwarder as a blackbox macro method (blackbox is sufficient, the type is known ahead of time): Example: ```scala trait LaunchSite[-R] { def launchSite: LaunchSite.Service[R] } object...
The implementor should allow the generation of `@accessible` traits/objects to work for the following example: ```scala @accessible trait Example[F[_, _]] { val example: Example.Service[F] } object Example { trait Service[F[_,...
Given ``` Artifact( name = a, libs = Seq.empty, depends = Seq.empty, platform = JVM ), Artifact( name = b, libs = Seq.empty, depends = Seq( a in Scope.Compile.all, ),...
`go get` & `GOPATH` have been hard deprecated in recent golang, so the golang support has bitrotten. For now publishing works with `GO111MODULE=off` environment variable, but we can expect that...
The offset is *not* preserved in C#/Go/TypeScript - same as for ZonedDateTime currently - time is coerced to local after parsing. Not sure if that should be changed for `tso`...
We should have an IDL type for the native ByteArray/ByteString type of the target language
We may want to dogfood IdeaLingua's IR AST by compiling it from IdeaLingua definitions. This would allow some novel forms of staging: * IDL compiler could have a mode that...
## Minimized code ```Scala object x { def f[A, B](f: A ?=> B) = println("1 argument") def f[A, B, C](f: (A, B) ?=> C) = println("2 arguments") } @main def...
Allow kind and variance of type parameters to be inferred based on usage in the type signature or inside the template body instead of having to always be specified fully....
Given two type classes ```scala trait ContravariantFunctor[F[-_]] { def contramap[A, B](fa: F[A])(f: B => A): F[B] } trait Functor[F[+_]] { def map[A, B](fa: F[A])(f: A => B): F[B] } ```...