Closed chris-revell closed 7 years ago
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.
Great. I'd do it myself but have no experience changing syntax packages.
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.
Great work fixing that so quickly. I'll wait for the update to come through Atom.