Currently, one cannot turn an existing concrete class into an abstract one, or vice versa. The AST construction (constructor Type vs constructor AbstractType), makes detecting abstractions hard, but not impossible. At least add support for these evolutions to the language and the migration. If possible, also add it to the detection.

Submitted by Sander Vermolen on 19 October 2010 at 10:34