Add hook for custom analysis steps
It would be useful to add a hook that allows people to add some custom analysis, what can add results to the analysis.Submitted by Hendrik van Antwerpen on 13 September 2016 at 16:05
nabl2-analyze-PHASE-hook(|a), and something like
nabl2-add-analysis-component(|k,t) : Analysis -> Analysisand
nabl2-get-analysis-component(|k) : Analysis -> Term. It should also be possible to add editor messages from there.
Log in to post comments