typing: allow `new` on interface and abstract classes that have a `new`-factory
authorJean Privat <jean@pryen.org>
Wed, 22 Oct 2014 19:03:46 +0000 (15:03 -0400)
committerJean Privat <jean@pryen.org>
Thu, 23 Oct 2014 17:02:32 +0000 (13:02 -0400)
commitf4d434e58088940f5a3e0a8c8f316f302e52be18
treef0639de72f1ff1e64fe53783d17e02b2280021e9
parent87df737a2db334a8d7e60c411fae2a7669f5e0a5
typing: allow `new` on interface and abstract classes that have a `new`-factory

Signed-off-by: Jean Privat <jean@pryen.org>
src/compiler/separate_compiler.nit
src/compiler/separate_erasure_compiler.nit
src/semantize/typing.nit