feat(compiler): Add boolean algebra [fixes LNG-211]

[InversionSpaces]

No description provided.

[linear]

LNG-211 Introduce boolean algebra

Add binary boolean operations ||(or) and &&(and) and unary boolean operation !(not)

Result of ||, && and ! should be of type boolean

Precedence:

• ! should have highest precedence
• || and && should have lower precedence than math and comparison operations
• || should have lower precedence than &&

e.g expression a < 5 || foo() > 10 && !flag should be parsed like (a < 5) || ((foo() > 10) && !flag)

Evaluation of arguments:

• If left argument of || executes to true, right argument should not be computed
• If left argument of && executes to false, right argument should not be computed

Implementation:

Translate <left> || <right> to

<left-inline>
(xor
  (match <left-res> true (ap true <res>))
  (seq
    <right-inline>
    (ap <right-res> <res>)
  )
)

Translate && to

<left-inline>
(xor
  (match <left-res> false (ap false <res>))
  (seq
    <right-inline>
    (ap <right-res> <res>)
  )
)

Translate !<expr> to

<expr-inline>
(xor
  (match <expr-res> true (ap false <res>))
  (ap true <res>)
)