riedelcastro
commented
10 years ago Generally warnings can be generated using context.warning. One example is now in the Conditioner. However, there it's easy because when a condition cannot be translated you know that's bad. However, with factors it's less clear because every double function is at least an atomic potential. The question is when atomic potentials warrant warnings? Maybe by number of arguments? Or total number of potential states?
There is an unlimited amount of models clients could design, and an unlimited amount of writing down the same model. We should notify/warn (and possibly stop compilation) for models that aren't supported currently or for which we can't find optimizations.