1 | import bool |
2 | import or |
3 | |
4 | (true | false) => c |
5 | |
6 | expect c |
7 | |
8 | --- |
9 | |
10 | import bool |
11 | import or |
12 | |
13 | (true | true) => c |
14 | |
15 | expect c |
16 | |
17 | --- |
18 | |
19 | import bool |
20 | import or |
21 | |
22 | (false | true) => c |
23 | |
24 | expect c |
25 | |
26 | --- |
27 | |
28 | import bool |
29 | import or |
30 | |
31 | (false | false) => c |
32 | |
33 | don't expect c |
34 | |
35 | --- |
36 | |
37 | proc { |
38 | unless bla: |
39 | blubb |
40 | unless blubb: |
41 | test |
42 | } |
43 | |
44 | expect blubb |
45 | don't expect test |
46 | |
47 | --- |
48 | |
49 | // test if a certain indentation problem is fixed |
50 | |
51 | proc { |
52 | bla ( |
53 | x |
54 | ) |
55 | } |
56 | |
57 | bla $multiline |
58 | => proc { |
59 | a |
60 | b $multiline |
61 | } |
62 | |
63 | expect a |
64 | |
65 | --- |
66 | |
67 | import iota |
68 | |
69 | proc { |
70 | for $x in iota(2): |
71 | print $x |
72 | } |
73 | |
74 | expect (print 1) |
75 | expect (print 2) |
76 | don't expect (print 3) |
77 | |
78 | --- |
79 | |
80 | import tlft_honoringBrackets |
81 | |
82 | proc { |
83 | for $x in tlft_honoringBrackets( |
84 | a |
85 | b |
86 | ): |
87 | print $x |
88 | } |
89 | |
90 | expect (print a) |
91 | expect (print b) |
92 | |
93 | --- |
94 | |
95 | a => b => c |
96 | |
97 | a |
98 | b |
99 | expect c |
100 | |
101 | --- |
102 | |
103 | a => d => c |
104 | |
105 | a |
106 | b |
107 | don't expect c |
108 | |
109 | --- |
110 | |
111 | add simplifier (very $x => $x) |
112 | i am (very happy) |
113 | expect (i am happy) |
114 | |
115 | --- |
116 | |
117 | i am happy |
118 | |
119 | i am (happy) => good |
120 | |
121 | expect good |
122 | |
123 | --- |
124 | |
125 | i am (happy) |
126 | |
127 | i am happy => good |
128 | |
129 | 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: | 288 / 446 |
Version history: | 17 change(s) |
Referenced in: | [show references] |