Skip to content

Commit 68b959d

Browse files
committed
Merge branch 'aac-client-breaking' of https://github.com/stacks-network/stacks-core into chore/aac-rename-check-errors
2 parents 4774c6c + acb1694 commit 68b959d

File tree

43 files changed

+2681
-422
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

43 files changed

+2681
-422
lines changed

.github/workflows/clippy.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@ on:
1313
pull_request:
1414
branches:
1515
- develop
16+
- aac-client-breaking # temp branch for aac work
1617
types:
1718
- opened
1819
- reopened

clarity-types/src/types/mod.rs

Lines changed: 12 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -562,10 +562,10 @@ impl SequenceData {
562562
pub fn concat(&mut self, epoch: &StacksEpochId, other_seq: SequenceData) -> Result<()> {
563563
match (self, other_seq) {
564564
(SequenceData::List(inner_data), SequenceData::List(other_inner_data)) => {
565-
inner_data.append(epoch, other_inner_data)
565+
inner_data.append(epoch, other_inner_data)?;
566566
}
567567
(SequenceData::Buffer(inner_data), SequenceData::Buffer(ref mut other_inner_data)) => {
568-
inner_data.append(other_inner_data)
568+
inner_data.append(other_inner_data);
569569
}
570570
(
571571
SequenceData::String(CharType::ASCII(inner_data)),
@@ -575,8 +575,8 @@ impl SequenceData {
575575
SequenceData::String(CharType::UTF8(inner_data)),
576576
SequenceData::String(CharType::UTF8(ref mut other_inner_data)),
577577
) => inner_data.append(other_inner_data),
578-
_ => Err(RuntimeErrorType::BadTypeConstruction.into()),
579-
}?;
578+
_ => return Err(RuntimeErrorType::BadTypeConstruction.into()),
579+
};
580580
Ok(())
581581
}
582582

@@ -1242,9 +1242,8 @@ impl BuffData {
12421242
self.data.as_slice()
12431243
}
12441244

1245-
fn append(&mut self, other_seq: &mut BuffData) -> Result<()> {
1245+
fn append(&mut self, other_seq: &mut BuffData) {
12461246
self.data.append(&mut other_seq.data);
1247-
Ok(())
12481247
}
12491248

12501249
pub fn empty() -> Self {
@@ -1281,9 +1280,8 @@ impl ListData {
12811280
}
12821281

12831282
impl ASCIIData {
1284-
fn append(&mut self, other_seq: &mut ASCIIData) -> Result<()> {
1283+
fn append(&mut self, other_seq: &mut ASCIIData) {
12851284
self.data.append(&mut other_seq.data);
1286-
Ok(())
12871285
}
12881286

12891287
pub fn len(&self) -> Result<BufferLength> {
@@ -1295,9 +1293,8 @@ impl ASCIIData {
12951293
}
12961294

12971295
impl UTF8Data {
1298-
fn append(&mut self, other_seq: &mut UTF8Data) -> Result<()> {
1296+
fn append(&mut self, other_seq: &mut UTF8Data) {
12991297
self.data.append(&mut other_seq.data);
1300-
Ok(())
13011298
}
13021299

13031300
pub fn len(&self) -> Result<BufferLength> {
@@ -1530,12 +1527,11 @@ impl TupleData {
15301527
fn new(
15311528
type_signature: TupleTypeSignature,
15321529
data_map: BTreeMap<ClarityName, Value>,
1533-
) -> Result<TupleData> {
1534-
let t = TupleData {
1530+
) -> TupleData {
1531+
TupleData {
15351532
type_signature,
15361533
data_map,
1537-
};
1538-
Ok(t)
1534+
}
15391535
}
15401536

15411537
/// Return the number of fields in this tuple value
@@ -1565,7 +1561,7 @@ impl TupleData {
15651561
data_map.insert(name, value);
15661562
}
15671563

1568-
Self::new(TupleTypeSignature::try_from(type_map)?, data_map)
1564+
Ok(Self::new(TupleTypeSignature::try_from(type_map)?, data_map))
15691565
}
15701566

15711567
// TODO: add tests from mutation testing results #4834
@@ -1585,7 +1581,7 @@ impl TupleData {
15851581
}
15861582
data_map.insert(name, value);
15871583
}
1588-
Self::new(expected.clone(), data_map)
1584+
Ok(Self::new(expected.clone(), data_map))
15891585
}
15901586

15911587
pub fn get(&self, name: &str) -> Result<&Value> {

clarity/src/vm/analysis/type_checker/v2_05/contexts.rs

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -173,12 +173,8 @@ impl ContractContext {
173173
Ok(())
174174
}
175175

176-
pub fn add_implemented_trait(
177-
&mut self,
178-
trait_identifier: TraitIdentifier,
179-
) -> Result<(), CheckError> {
176+
pub fn add_implemented_trait(&mut self, trait_identifier: TraitIdentifier) {
180177
self.implemented_traits.insert(trait_identifier);
181-
Ok(())
182178
}
183179

184180
pub fn get_trait(&self, trait_name: &str) -> Option<&BTreeMap<ClarityName, FunctionSignature>> {

clarity/src/vm/analysis/type_checker/v2_05/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1014,7 +1014,7 @@ impl<'a, 'b> TypeChecker<'a, 'b> {
10141014
}
10151015
DefineFunctionsParsed::ImplTrait { trait_identifier } => {
10161016
self.contract_context
1017-
.add_implemented_trait(trait_identifier.clone())?;
1017+
.add_implemented_trait(trait_identifier.clone());
10181018
}
10191019
};
10201020
Ok(Some(()))

clarity/src/vm/analysis/type_checker/v2_1/contexts.rs

Lines changed: 7 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -61,7 +61,7 @@ impl TraitContext {
6161
contract_identifier: QualifiedContractIdentifier,
6262
trait_name: ClarityName,
6363
trait_signature: BTreeMap<ClarityName, FunctionSignature>,
64-
) -> Result<(), CheckError> {
64+
) {
6565
match self {
6666
Self::Clarity1(map) => {
6767
map.insert(trait_name, trait_signature);
@@ -77,15 +77,14 @@ impl TraitContext {
7777
);
7878
}
7979
}
80-
Ok(())
8180
}
8281

8382
pub fn add_used_trait(
8483
&mut self,
8584
alias: ClarityName,
8685
trait_id: TraitIdentifier,
8786
trait_signature: BTreeMap<ClarityName, FunctionSignature>,
88-
) -> Result<(), CheckError> {
87+
) {
8988
match self {
9089
Self::Clarity1(map) => {
9190
map.insert(trait_id.name, trait_signature);
@@ -95,7 +94,6 @@ impl TraitContext {
9594
all.insert(trait_id, trait_signature);
9695
}
9796
}
98-
Ok(())
9997
}
10098

10199
pub fn get_trait(
@@ -295,7 +293,8 @@ impl ContractContext {
295293
self.contract_identifier.clone(),
296294
trait_name,
297295
trait_signature,
298-
)
296+
);
297+
Ok(())
299298
}
300299

301300
pub fn add_used_trait(
@@ -308,15 +307,12 @@ impl ContractContext {
308307
self.check_name_used(&alias)?;
309308
}
310309

311-
self.traits.add_used_trait(alias, trait_id, trait_signature)
310+
self.traits.add_used_trait(alias, trait_id, trait_signature);
311+
Ok(())
312312
}
313313

314-
pub fn add_implemented_trait(
315-
&mut self,
316-
trait_identifier: TraitIdentifier,
317-
) -> Result<(), CheckError> {
314+
pub fn add_implemented_trait(&mut self, trait_identifier: TraitIdentifier) {
318315
self.implemented_traits.insert(trait_identifier);
319-
Ok(())
320316
}
321317

322318
pub fn get_trait(

clarity/src/vm/analysis/type_checker/v2_1/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1897,7 +1897,7 @@ impl<'a, 'b> TypeChecker<'a, 'b> {
18971897
self.add_memory(trait_identifier.name.len().into())?;
18981898
}
18991899
self.contract_context
1900-
.add_implemented_trait(trait_identifier.clone())?;
1900+
.add_implemented_trait(trait_identifier.clone());
19011901
}
19021902
};
19031903
Ok(Some(()))

clarity/src/vm/ast/definition_sorter/mod.rs

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -87,7 +87,7 @@ impl DefinitionSorter {
8787
)?;
8888

8989
let mut walker = GraphWalker::new();
90-
let sorted_indexes = walker.get_sorted_dependencies(&self.graph)?;
90+
let sorted_indexes = walker.get_sorted_dependencies(&self.graph);
9191

9292
if let Some(deps) = walker.get_cycling_dependencies(&self.graph, &sorted_indexes) {
9393
let functions_names = deps
@@ -461,13 +461,12 @@ impl GraphWalker {
461461
}
462462

463463
/// Depth-first search producing a post-order sort
464-
fn get_sorted_dependencies(&mut self, graph: &Graph) -> ParseResult<Vec<usize>> {
464+
fn get_sorted_dependencies(&mut self, graph: &Graph) -> Vec<usize> {
465465
let mut sorted_indexes = Vec::<usize>::new();
466466
for expr_index in 0..graph.nodes_count() {
467467
self.sort_dependencies_recursion(expr_index, graph, &mut sorted_indexes);
468468
}
469-
470-
Ok(sorted_indexes)
469+
sorted_indexes
471470
}
472471

473472
fn sort_dependencies_recursion(

clarity/src/vm/functions/define.rs

Lines changed: 6 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -263,18 +263,12 @@ fn handle_define_trait(
263263
Ok(DefineResult::Trait(name.clone(), trait_signature))
264264
}
265265

266-
fn handle_use_trait(
267-
name: &ClarityName,
268-
trait_identifier: &TraitIdentifier,
269-
) -> Result<DefineResult> {
270-
Ok(DefineResult::UseTrait(
271-
name.clone(),
272-
trait_identifier.clone(),
273-
))
266+
fn handle_use_trait(name: &ClarityName, trait_identifier: &TraitIdentifier) -> DefineResult {
267+
DefineResult::UseTrait(name.clone(), trait_identifier.clone())
274268
}
275269

276-
fn handle_impl_trait(trait_identifier: &TraitIdentifier) -> Result<DefineResult> {
277-
Ok(DefineResult::ImplTrait(trait_identifier.clone()))
270+
fn handle_impl_trait(trait_identifier: &TraitIdentifier) -> DefineResult {
271+
DefineResult::ImplTrait(trait_identifier.clone())
278272
}
279273

280274
impl DefineFunctions {
@@ -454,9 +448,9 @@ pub fn evaluate_define(
454448
DefineFunctionsParsed::UseTrait {
455449
name,
456450
trait_identifier,
457-
} => handle_use_trait(name, trait_identifier),
451+
} => Ok(handle_use_trait(name, trait_identifier)),
458452
DefineFunctionsParsed::ImplTrait { trait_identifier } => {
459-
handle_impl_trait(trait_identifier)
453+
Ok(handle_impl_trait(trait_identifier))
460454
}
461455
}
462456
} else {

stacks-common/src/bitvec.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -141,7 +141,7 @@ impl<const MAX_SIZE: u16> Iterator for BitVecIter<'_, MAX_SIZE> {
141141
self.index = self.index.saturating_add(1);
142142
if self.index < self.bitvec.len {
143143
// check if byte needs to be incremented
144-
if self.index % 8 == 0 {
144+
if self.index.is_multiple_of(8) {
145145
let vec_index = usize::from(self.index / 8);
146146
self.byte = self.bitvec.data.get(vec_index);
147147
}
@@ -190,7 +190,7 @@ impl<const MAX_SIZE: u16> BitVec<MAX_SIZE> {
190190

191191
/// Return the number of bytes needed to store `len` bits.
192192
fn data_len(len: u16) -> u16 {
193-
len / 8 + if len % 8 == 0 { 0 } else { 1 }
193+
len / 8 + if len.is_multiple_of(8) { 0 } else { 1 }
194194
}
195195

196196
/// Get a u8 with the (index % 8)th bit set to 1.

stacks-common/src/deps_common/ctrlc/tests.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,7 @@ mod platform {
5252
Cached(Vec<u8>),
5353
}
5454

55-
static mut OLD_OUT: *mut Output = 0 as *mut Output;
55+
static mut OLD_OUT: *mut Output = ptr::null_mut();
5656

5757
impl io::Write for Output {
5858
fn write(&mut self, buf: &[u8]) -> io::Result<usize> {

0 commit comments

Comments
 (0)