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: | 454 / 476 |
| Version history: | 17 change(s) |
| Referenced in: | [show references] |