Limitations

There are several limitations to what the staging plugin can do:

• fundamental limitations (need further research)
  • in scala-virtualized, the infix_ methods can hijack both dynamically dispatched and static methods, thus allowing staging primitives to be injected anywhere in the code. On the other hand, the staging plugin only allows injection when interacting with staged objects -- a more principled approach, but a less powerful one. Right now, it's not clear how the staging plugin could be extended to allow infix_ methods to hijack static calls, but this is certainly a feature required for running LMS/Delite.
• technical limitations (need more hacking)
  • right now, the type inference for annotations is broken: https://groups.google.com/forum/#!topic/scala-internals/-hp79CrjQPo;
  • currently language constructs such as if and var are not lifted, although there's no fundamental reason that wouldn't work.

Back to Home.