Commit 839c0a5
authored
Tweak the consumer + Crosis both sides aborted check to allow Crosis to unilaterally abort. (#193)
* Eliminate the aborted check on both sides.
* Restore the option to return aborted; add invariant check.
* Types.
* Clearer docs.
* clarify type comment on Aborted
* linty
* v13.1.0. (#194)1 parent 93e8534 commit 839c0a5
3 files changed
+15
-26
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1103 | 1103 | | |
1104 | 1104 | | |
1105 | 1105 | | |
1106 | | - | |
1107 | | - | |
1108 | | - | |
1109 | | - | |
1110 | | - | |
1111 | | - | |
1112 | | - | |
1113 | | - | |
1114 | | - | |
1115 | | - | |
1116 | | - | |
1117 | | - | |
1118 | | - | |
1119 | | - | |
1120 | | - | |
1121 | 1106 | | |
1122 | | - | |
1123 | | - | |
1124 | | - | |
1125 | | - | |
1126 | | - | |
1127 | | - | |
1128 | | - | |
| 1107 | + | |
| 1108 | + | |
| 1109 | + | |
1129 | 1110 | | |
1130 | 1111 | | |
1131 | 1112 | | |
1132 | 1113 | | |
1133 | 1114 | | |
1134 | | - | |
1135 | | - | |
| 1115 | + | |
| 1116 | + | |
| 1117 | + | |
| 1118 | + | |
| 1119 | + | |
| 1120 | + | |
| 1121 | + | |
| 1122 | + | |
| 1123 | + | |
1136 | 1124 | | |
1137 | 1125 | | |
1138 | 1126 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
13 | | - | |
| 13 | + | |
| 14 | + | |
14 | 15 | | |
15 | 16 | | |
16 | 17 | | |
| |||
0 commit comments