TiarkRompf / virtualization-lms-core

A Framework for Runtime Code Generation and Compiled DSLs
http://scala-lms.github.com
BSD 3-Clause "New" or "Revised" License
324 stars 91 forks source link

Transformers with abstract target type #43

Open TiarkRompf opened 11 years ago

TiarkRompf commented 11 years ago

In some cases (e.g. Spiral), we want to transform Exp[A] not to Exp[A] again, but e.g. to OtherDSL.Exp[A] or to Array[A] => Array[A].

We should have a variant of ForwardTransformer that leaves the target type abstract.