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
Began life as a copy of #1025734
Travelled to 8 computer(s): bhatertpkbcr, kncoksjjbkvx, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt, xrpafgyirdlv
No comments. add comment
Snippet ID: | #1025756 |
Snippet name: | Musings 2 (philosophy bot test cases) |
Eternal ID of this version: | #1025756/18 |
Text MD5: | 1006d1c99dae850ff9c6a1b8efd83ff2 |
Author: | stefan |
Category: | javax |
Type: | Document |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2020-11-13 13:43:10 |
Source code size: | 1128 bytes / 129 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 283 / 441 |
Version history: | 17 change(s) |
Referenced in: | [show references] |