[dependenttypes]

If you do not want to implement a separate interpreter you can do multiple compilation passes instead.

[mikepurvis]

True, but in the cross-compilation case, you then need to do fun stuff like compile anything invoked at compile time for the host arch as well as the target.