record module-level term_expansion and goal_expansion as inner predicates (#228)

This commit is contained in:
Mark Thom
2019-11-24 12:50:53 -07:00
parent 24ffdc2724
commit 7bf6a230f3
3 changed files with 62 additions and 6 deletions

View File

@@ -337,6 +337,8 @@ pub struct Module {
pub goal_expansions: (Predicate, VecDeque<TopLevel>),
pub user_term_expansions: (Predicate, VecDeque<TopLevel>), // term expansions inherited from the user scope.
pub user_goal_expansions: (Predicate, VecDeque<TopLevel>), // same for goal_expansions.
pub local_term_expansions: (Predicate, VecDeque<TopLevel>), // expansions local to the module.
pub local_goal_expansions: (Predicate, VecDeque<TopLevel>),
pub inserted_expansions: bool, // has the module been successfully inserted into toplevel??
pub is_impromptu_module: bool,
}