Skip to content

Commit

Permalink
Fix warnings
Browse files Browse the repository at this point in the history
  • Loading branch information
BinderDavid authored and timsueberkrueb committed Apr 21, 2024
1 parent fcd0090 commit 93f26a8
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions lang/lifting/src/fv.rs
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ pub fn free_vars<T: FV>(arg: &T, ctx: &TypeCtx) -> FreeVars {
FreeVars { fvs: v.fvs, cutoff: ctx.len() }
}

trait FV {
pub trait FV {
fn visit_fv(&self, v: &mut USTVisitor);
}

Expand Down Expand Up @@ -268,7 +268,7 @@ impl Ord for FreeVar {
}

/// Visitor that collects free variables in an untyped syntax tree
struct USTVisitor<'a> {
pub struct USTVisitor<'a> {
/// Set of collected free variables
fvs: HashSet<FreeVar>,
/// The De-Bruijn level (fst index) up to which a variable counts as free
Expand Down
2 changes: 1 addition & 1 deletion lang/syntax/src/common/de_bruijn.rs
Original file line number Diff line number Diff line change
Expand Up @@ -95,7 +95,7 @@ pub trait Leveled {
/// Note: We use two-level de Bruijn indices. The cutoff-range only applies to
/// the first element of a two-level de Bruijn index.
///
/// Ref: https://www.cs.cornell.edu/courses/cs4110/2018fa/lectures/lecture15.pdf
/// Ref: <https://www.cs.cornell.edu/courses/cs4110/2018fa/lectures/lecture15.pdf>
pub trait Shift: Sized {
/// Shift all open variables in `self` by the the value indicated with the
/// `by` argument.
Expand Down

0 comments on commit 93f26a8

Please sign in to comment.