Highlights FORALL statements as errors

[chris-revell]

[tomedunn]

Thanks for posting this!

I'll try to modify the rules to allow for forall statements later today. It should be possible given I was able to do the same thing for if statements.

[chris-revell]

Great. I'd do it myself but have no experience changing syntax packages.

[tomedunn]

From experience, implementing this particular fix would be a really difficult one to tackle as your first try at modifying this syntax package. Thankfully the trick to making it work is already implemented in the rules for the where statement and construct. So it should just be a matter of copying the rules for that and modifying them to work for forall instead.

[chris-revell]

Great work fixing that so quickly. I'll wait for the update to come through Atom.