Skip to content

Commit

Permalink
WIP
Browse files Browse the repository at this point in the history
  • Loading branch information
yannham committed Aug 5, 2024
1 parent 3ebd738 commit c45691d
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion core/src/term/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1684,7 +1684,7 @@ pub enum RecordOpKind {
ConsiderAllFields,
}

#[derive(Clone, Debug)]
#[derive(Clone, Debug, PartialEq)]
pub struct RecordInsertData {
pub metadata: FieldMetadata,
pub pending_contracts: Vec<RuntimeContract>,
Expand Down
4 changes: 2 additions & 2 deletions core/src/transform/substitute_wildcards.rs
Original file line number Diff line number Diff line change
Expand Up @@ -23,9 +23,9 @@ pub fn transform_one(rt: RichTerm, wildcards: &Wildcards) -> RichTerm {
let pos = rt.pos;
match_sharedterm!(match (rt.term) {
Term::Annotated(annot, inner) => {
if let TypeAnnotation { typ: Some(_), .. } = annot {
if let TypeAnnotation { typ: Some(_), .. } = *annot {
RichTerm::new(
Term::Annotated(annot.subst_wildcards(wildcards), inner),
Term::Annotated(Box::new(annot.subst_wildcards(wildcards)), inner),
pos,
)
} else {
Expand Down

0 comments on commit c45691d

Please sign in to comment.