Add UNificationStorage back

Markus Westerlind · Markus Westerlind · commit bd84def590ad · 2020-02-26T08:37:41.000+01:00
diff --git a/src/unify/mod.rs b/src/unify/mod.rs
@@ -184,7 +184,8 @@ pub struct UnificationTable<S> {
     values: S,
 }
 
-pub type UnificationTableStorage<K> = UnificationTable<InPlace<K, Vec<VarValue<K>>, ()>>;
+pub type UnificationStorage<K> = Vec<VarValue<K>>;
+pub type UnificationTableStorage<K> = UnificationTable<InPlace<K, UnificationStorage<K>, ()>>;
 
 /// A unification table that uses an "in-place" vector.
 #[allow(type_alias_bounds)]

Original file line number	Diff line number	Diff line change
`@@ -184,7 +184,8 @@ pub struct UnificationTable<S> {`
`184`	`184`	`values: S,`
`185`	`185`	`}`
`186`	`186`
`187`		`-pub type UnificationTableStorage<K> = UnificationTable<InPlace<K, Vec<VarValue<K>>, ()>>;`
	`187`	`+pub type UnificationStorage<K> = Vec<VarValue<K>>;`
	`188`	`+pub type UnificationTableStorage<K> = UnificationTable<InPlace<K, UnificationStorage<K>, ()>>;`
`188`	`189`
`189`	`190`	`/// A unification table that uses an "in-place" vector.`
`190`	`191`	`#[allow(type_alias_bounds)]`