Skip to content

Commit 7c6e37f

Browse files
committed
Merge branch 'aac-client-breaking' of https://github.com/stacks-network/stacks-core into chore/aac-rename-clarity-error
2 parents 93d5090 + acb1694 commit 7c6e37f

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
@@ -560,10 +560,10 @@ impl SequenceData {
560560
pub fn concat(&mut self, epoch: &StacksEpochId, other_seq: SequenceData) -> Result<()> {
561561
match (self, other_seq) {
562562
(SequenceData::List(inner_data), SequenceData::List(other_inner_data)) => {
563-
inner_data.append(epoch, other_inner_data)
563+
inner_data.append(epoch, other_inner_data)?;
564564
}
565565
(SequenceData::Buffer(inner_data), SequenceData::Buffer(ref mut other_inner_data)) => {
566-
inner_data.append(other_inner_data)
566+
inner_data.append(other_inner_data);
567567
}
568568
(
569569
SequenceData::String(CharType::ASCII(inner_data)),
@@ -573,8 +573,8 @@ impl SequenceData {
573573
SequenceData::String(CharType::UTF8(inner_data)),
574574
SequenceData::String(CharType::UTF8(ref mut other_inner_data)),
575575
) => inner_data.append(other_inner_data),
576-
_ => Err(RuntimeErrorType::BadTypeConstruction.into()),
577-
}?;
576+
_ => return Err(RuntimeErrorType::BadTypeConstruction.into()),
577+
};
578578
Ok(())
579579
}
580580

@@ -1240,9 +1240,8 @@ impl BuffData {
12401240
self.data.as_slice()
12411241
}
12421242

1243-
fn append(&mut self, other_seq: &mut BuffData) -> Result<()> {
1243+
fn append(&mut self, other_seq: &mut BuffData) {
12441244
self.data.append(&mut other_seq.data);
1245-
Ok(())
12461245
}
12471246

12481247
pub fn empty() -> Self {
@@ -1279,9 +1278,8 @@ impl ListData {
12791278
}
12801279

12811280
impl ASCIIData {
1282-
fn append(&mut self, other_seq: &mut ASCIIData) -> Result<()> {
1281+
fn append(&mut self, other_seq: &mut ASCIIData) {
12831282
self.data.append(&mut other_seq.data);
1284-
Ok(())
12851283
}
12861284

12871285
pub fn len(&self) -> Result<BufferLength> {
@@ -1293,9 +1291,8 @@ impl ASCIIData {
12931291
}
12941292

12951293
impl UTF8Data {
1296-
fn append(&mut self, other_seq: &mut UTF8Data) -> Result<()> {
1294+
fn append(&mut self, other_seq: &mut UTF8Data) {
12971295
self.data.append(&mut other_seq.data);
1298-
Ok(())
12991296
}
13001297

13011298
pub fn len(&self) -> Result<BufferLength> {
@@ -1528,12 +1525,11 @@ impl TupleData {
15281525
fn new(
15291526
type_signature: TupleTypeSignature,
15301527
data_map: BTreeMap<ClarityName, Value>,
1531-
) -> Result<TupleData> {
1532-
let t = TupleData {
1528+
) -> TupleData {
1529+
TupleData {
15331530
type_signature,
15341531
data_map,
1535-
};
1536-
Ok(t)
1532+
}
15371533
}
15381534

15391535
/// Return the number of fields in this tuple value
@@ -1561,7 +1557,7 @@ impl TupleData {
15611557
data_map.insert(name, value);
15621558
}
15631559

1564-
Self::new(TupleTypeSignature::try_from(type_map)?, data_map)
1560+
Ok(Self::new(TupleTypeSignature::try_from(type_map)?, data_map))
15651561
}
15661562

15671563
// TODO: add tests from mutation testing results #4834
@@ -1581,7 +1577,7 @@ impl TupleData {
15811577
}
15821578
data_map.insert(name, value);
15831579
}
1584-
Self::new(expected.clone(), data_map)
1580+
Ok(Self::new(expected.clone(), data_map))
15851581
}
15861582

15871583
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
@@ -1008,7 +1008,7 @@ impl<'a, 'b> TypeChecker<'a, 'b> {
10081008
}
10091009
DefineFunctionsParsed::ImplTrait { trait_identifier } => {
10101010
self.contract_context
1011-
.add_implemented_trait(trait_identifier.clone())?;
1011+
.add_implemented_trait(trait_identifier.clone());
10121012
}
10131013
};
10141014
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(
@@ -293,7 +291,8 @@ impl ContractContext {
293291
self.contract_identifier.clone(),
294292
trait_name,
295293
trait_signature,
296-
)
294+
);
295+
Ok(())
297296
}
298297

299298
pub fn add_used_trait(
@@ -306,15 +305,12 @@ impl ContractContext {
306305
self.check_name_used(&alias)?;
307306
}
308307

309-
self.traits.add_used_trait(alias, trait_id, trait_signature)
308+
self.traits.add_used_trait(alias, trait_id, trait_signature);
309+
Ok(())
310310
}
311311

312-
pub fn add_implemented_trait(
313-
&mut self,
314-
trait_identifier: TraitIdentifier,
315-
) -> Result<(), CheckError> {
312+
pub fn add_implemented_trait(&mut self, trait_identifier: TraitIdentifier) {
316313
self.implemented_traits.insert(trait_identifier);
317-
Ok(())
318314
}
319315

320316
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
@@ -1888,7 +1888,7 @@ impl<'a, 'b> TypeChecker<'a, 'b> {
18881888
self.add_memory(trait_identifier.name.len().into())?;
18891889
}
18901890
self.contract_context
1891-
.add_implemented_trait(trait_identifier.clone())?;
1891+
.add_implemented_trait(trait_identifier.clone());
18921892
}
18931893
};
18941894
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)