File tree Expand file tree Collapse file tree 2 files changed +3
-0
lines changed Expand file tree Collapse file tree 2 files changed +3
-0
lines changed Original file line number Diff line number Diff line change @@ -100,6 +100,7 @@ pub struct Persistent<K: UnifyKey> {
100
100
values : DVec < VarValue < K > >
101
101
}
102
102
103
+ #[ cfg( feature = "persistent" ) ]
103
104
impl < K : UnifyKey > UnificationStore for Persistent < K > {
104
105
type Key = K ;
105
106
type Value = K :: Value ;
@@ -136,6 +137,7 @@ impl<K: UnifyKey> UnificationStore for Persistent<K> {
136
137
}
137
138
}
138
139
140
+ #[ cfg( feature = "persistent" ) ]
139
141
impl < K > ops:: Index < usize > for Persistent < K >
140
142
where K : UnifyKey
141
143
{
Original file line number Diff line number Diff line change @@ -171,6 +171,7 @@ pub struct UnificationTable<S: UnificationStore> {
171
171
pub type InPlaceUnificationTable < K > = UnificationTable < InPlace < K > > ;
172
172
173
173
/// A unification table that uses a "persistent" vector.
174
+ #[ cfg( feature = "persistent" ) ]
174
175
pub type PersistentUnificationTable < K > = UnificationTable < Persistent < K > > ;
175
176
176
177
/// At any time, users may snapshot a unification table. The changes
You can’t perform that action at this time.
0 commit comments