It would be useful to add a hook that allows people to add some custom analysis, what can add results to the analysis. nabl2-analyze-PHASE-hook(|a), and something like nabl2-add-analysis-component(|k,t) : Analysis -> Analysis and nabl2-get-analysis-component(|k) : Analysis -> Term. It should also be possible to add editor messages from there.

Submitted by Hendrik van Antwerpen on 13 September 2016 at 16:05

Done.