import bool import or (true | false) => c expect c --- import bool import or (true | true) => c expect c --- import bool import or (false | true) => c expect c --- import bool import or (false | false) => c don't expect c --- proc { unless bla: blubb unless blubb: test } expect blubb don't expect test --- // test if a certain indentation problem is fixed proc { bla ( x ) } bla $multiline => proc { a b $multiline } expect a --- import iota proc { for $x in iota(2): print $x } expect (print 1) expect (print 2) don't expect (print 3) --- import tlft_honoringBrackets proc { for $x in tlft_honoringBrackets( a b ): print $x } expect (print a) expect (print b) --- a => b => c a b expect c --- a => d => c a b don't expect c --- add simplifier (very $x => $x) i am (very happy) expect (i am happy) --- i am happy i am (happy) => good expect good --- i am (happy) i am happy => good expect good