clear user-level definitions when reloading a file (#455)

2021-03-16 02:30:09 -06:00
parent 914fb09ed0
commit 51424aed32
8 changed files with 292 additions and 98 deletions
--- a/src/machine/machine_indices.rs
+++ b/src/machine/machine_indices.rs
@@ -425,6 +425,7 @@ pub(crate) enum REPLCodePtr {
    AddMultifilePredicate,
    AddGoalExpansionClause,
    AddTermExpansionClause,
+    AddInSituFilenameModule,
    ClauseToEvacuable,
    ScopedClauseToEvacuable,
    ConcludeLoad,