Pre: make extracted_types pub so the projector and translator can use it.

This commit is contained in:
Richard Newman 2017-04-11 10:13:47 -07:00
parent e984e02529
commit b9f9b4ff58

View file

@ -171,7 +171,7 @@ pub struct ConjoiningClauses {
/// A mapping, similar to `column_bindings`, but used to pull type tags out of the store at runtime.
/// If a var isn't present in `known_types`, it should be present here.
extracted_types: BTreeMap<Variable, QualifiedAlias>,
pub extracted_types: BTreeMap<Variable, QualifiedAlias>,
}
impl Debug for ConjoiningClauses {