beastaugh/hatt — pull request #2 by mkrauskopf (2012-12-02 17:10:18+00:00)
Title: Fix for parsing of optional parentheses

Hi there,

parsing of optional surrounding parentheses fails in some scenarios. E.g. in elementary parenthesized statements `(a)`, `(~a)` or formulae like `a & (~b)`, `((a | b))` and thus whatever compound formulae using such sub-formulae. Though the parentheses are not needed I sometime end up with such formulae during editing them in Hatt CLI.

I've put regression test-cases into separate files, dedicates for parsing functionality.

Cheers,
\- m.