remove the fragile field in stored modules

src/Juvix/Compiler/Pipeline/Driver.hs

@@ -193,12 +193,8 @@ processModule' (EntryIndex entry) = do
           && info ^. Store.moduleInfoOptions == opts
           && info ^. Store.moduleInfoFieldSize == entry ^. entryPointFieldSize -> do
           (changed, mtab) <- processImports'' entry (info ^. Store.moduleInfoImports)
-          -- We need to check whether any of the recursive imports is fragile,
-          -- not only the direct ones, because identifiers may be re-exported
-          -- (with `open public`).
-          let fragile = any (^. Store.moduleInfoFragile) (mtab ^. Store.moduleTable)
           if
-              | changed && fragile ->
+              | changed ->
                   recompile sha256 absPath
               | otherwise ->
                   return
@@ -236,7 +232,6 @@ processModule'' sha256 entry = over pipelineResult mkModuleInfo <$> processFileT
           _moduleInfoCoreTable = fromCore (_coreResultModule ^. Core.moduleInfoTable),
           _moduleInfoImports = map (^. importModulePath) $ scoperResult ^. Scoper.resultParserResult . Parser.resultParserState . parserStateImports,
           _moduleInfoOptions = StoredOptions.fromEntryPoint entry,
-          _moduleInfoFragile = Core.moduleIsFragile _coreResultModule,
           _moduleInfoSHA256 = sha256,
           _moduleInfoFieldSize = entry ^. entryPointFieldSize
         }

src/Juvix/Compiler/Store/Language.hs

@@ -14,9 +14,6 @@ data ModuleInfo = ModuleInfo
     _moduleInfoCoreTable :: Core.InfoTable,
     _moduleInfoImports :: [TopModulePath],
     _moduleInfoOptions :: Options,
-    -- | True if any module depending on this module requires recompilation
-    -- whenever this module is changed
-    _moduleInfoFragile :: Bool,
     _moduleInfoSHA256 :: Text,
     _moduleInfoFieldSize :: Natural
   }