scala-macros

I would like to create a macro generated hierarchy of sealed abstract and case classes. There was an example similar to this with http://docs.scala-lang.org/overviews/macros/typemacros.html but is is now obsolete. Is this still possible? I think it would be incredibly powerful to generate a type safe AST for some specified grammar. Ideally with an IDE able to resolve all the classes. Travis Brown First for some shameless self-promotion: Eugene Burmako and I are giving a talk on type providers , a closely related topic, at Scalar 2014 tomorrow, and I encourage you to take a look at the example

So I've got this macro: import language.experimental.macros import scala.reflect.macros.Context class Foo class Bar extends Foo { def launchMissiles = "launching" } object FooExample { def foo: Foo = macro foo_impl def foo_impl(c: Context): c.Expr[Foo] = c.Expr[Foo](c.universe.reify(new Bar).tree) } I've said three times that I want foo to return a Foo , and yet I can do the following (in 2.10.0-RC3): scala> FooExample.foo res0: Bar = Bar@4118f8dd scala> res0.launchMissiles res1: String = launching The same thing happens if I remove the type parameters on either c.Expr . If I really want to

Let's say that I have a lot of similar data classes. Here's an example class User which is defined as follows: case class User (name: String, age: Int, posts: List[String]) { val numPosts: Int = posts.length ... def foo = "bar" ... } I am interested in automatically creating a method ( at compile time ) that returns a Map in a way that each field name is mapped to its value when it is called in runtime. For the example above, let's say that my method is called toMap : val myUser = User("Foo", 25, List("Lorem", "Ipsum")) myUser.toMap should return Map("name" -> "Foo", "age" -> 25, "posts" ->