@@ -70,6 +70,9 @@ performUsageAnalysis = do
7070 logLvl 4 $ "Minimal usage:\n" ++ fmtUseMap minUse
7171 logLvl 5 $ "Residual deps:\n" ++ unlines (map fmtItem . M.toList $ residDeps)
7272
73+ -- Check that everything reachable is accessible
74+ checkAccessibility minUse
75+
7376 -- Store the usage info in the internal state.
7477 mapM_ storeUsage . M.toList $ minUse
7578
@@ -91,6 +94,9 @@ performUsageAnalysis = do
9194 [x] -> addToCG n x{ usedpos = IS.toList args } -- functions
9295 _ -> addToCG n (CGInfo [] [] [] [] (IS.toList args)) -- data ctors
9396
97+checkAccessibility :: UseMap -> Idris ()
98+checkAccessibility umap = return ()
99+
94100-- Find the minimal consistent usage by forward chaining.
95101minimalUsage :: Deps -> (Deps, (Set Name, UseMap))
96102minimalUsage = second gather . forwardChain