Vlad Ureche
Vlad Ureche
Taken from https://github.com/scala/scala-dev/issues/250, if everything is miniboxed it works: ``` trait SpecFun[@miniboxed T] { type Res def res: Res } object Test { // the symbols for the `op` argument...
Which may influence duplication. Related to #245.
``` $ cat inner.scala class C[@miniboxed T] { // should warn, since E contains refs to T: class E(t: T) // should not warn, since F does not have them:...
Citing `project/Build.scala`: ``` val recursiveDeps = { val ver = "0.4-SNAPSHOT" val bootstrap = sys.props.getOrElse("miniboxing.bootstrap", "no") bootstrap match { case "stage1" => Seq() case _ => Seq( libraryDependencies += {...
``` sun@sun-cpu:~/workspace/dev/miniboxing-plugin/sandbox(wip)$ cat macros.scala import scala.reflect.macros.Context import scala.language.experimental.macros import scala.annotation.{Annotation, StaticAnnotation} object Macros { private def solveSequence(context: Context)(v: context.mirror.universe.ValDef, typeMappings: Map[context.Name, List[context.Type]]):(context.Name, Map[context.Type, context.Tree]) = { import context.mirror.universe._ val x...
And the miniboxing plugin should warn programmers against using `scala.Numeric` and using `miniboxing.Numeric` instead.
Warnings about: - [x] `Array`s that should be transformed to `MbArray`s - [x] de-duplication for type parameter reverse warnings - [ ] function methods - [ ] constructor duplication errors...
... for a good reason. But we need to either issue errors of handle it: ``` scala> def foo[T](t: T) = { | val arr = new Array[AnyRef](10).asInstanceOf[Array[T]] | arr(0)...
The dirtiest one of all: ``` $ mb-scala Welcome to Scala version 2.11.6-20150224-172222-092690e7bf (Java HotSpot(TM) 64-Bit Server VM, Java 1.7.0_80). Type in expressions to have them evaluated. Type :help for...
``` $ cat tstar.scala package tstar object Test { def foo1[T](t: T*) = println(t.toList) def bar1[T](t: T) = foo1(t,t,t) def foo2[@miniboxed T](t: T*) = println(t.toList) def bar2[@miniboxed T](t: T) =...