Remove unused lambda set struct

This commit is contained in:
Ayaz Hafiz 2022-05-31 11:32:15 -05:00
parent 80492cbb0a
commit 3fc95bad90
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -847,10 +847,6 @@ impl VarStore {
Variable(answer)
}
pub fn fresh_lambda_set(&mut self) -> LambdaSet {
LambdaSet(self.fresh())
}
}
#[derive(Copy, Clone, PartialEq, Eq, Hash)]
@ -1195,31 +1191,6 @@ impl UnifyKey for Variable {
}
}
#[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord)]
pub struct LambdaSet(pub Variable);
impl fmt::Debug for LambdaSet {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
write!(f, "LambdaSet({})", self.0 .0)
}
}
impl LambdaSet {
pub fn into_inner(self) -> Variable {
self.0
}
pub fn as_inner(&self) -> &Variable {
&self.0
}
}
impl From<Variable> for LambdaSet {
fn from(variable: Variable) -> Self {
LambdaSet(variable)
}
}
/// Used in SolvedType
#[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord)]
pub struct VarId(u32);