@@ -292,8 +292,6 @@ data IState = IState {
292 , idris_postulates :: S.Set Name
292 , idris_postulates :: S.Set Name
293 , idris_externs :: S.Set (Name, Int)
293 , idris_externs :: S.Set (Name, Int)
294 , idris_erasureUsed :: [(Name, Int)] -- ^ Function/constructor name, argument position is used
294 , idris_erasureUsed :: [(Name, Int)] -- ^ Function/constructor name, argument position is used
295− , idris_whocalls :: Maybe (M.Map Name [Name])
296− , idris_callswho :: Maybe (M.Map Name [Name])
298 -- | List of names that were defined in the repl, and can be re-/un-defined
296 -- | List of names that were defined in the repl, and can be re-/un-defined
299 , idris_repl_defs :: [Name]
297 , idris_repl_defs :: [Name]
@@ -413,7 +411,7 @@ idrisInit = IState initContext S.empty []
413 [] [] [] defaultOpts 6 [] [] [] [] emptySyntaxRules [] [] [] [] [] [] []
411 [] [] [] defaultOpts 6 [] [] [] [] emptySyntaxRules [] [] [] [] [] [] []
414 [] [] Nothing [] Nothing [] [] Nothing Nothing emptyContext Private DefaultCheckingPartial [] Nothing [] []
412 [] [] Nothing [] Nothing [] [] Nothing Nothing emptyContext Private DefaultCheckingPartial [] Nothing [] []
415 (RawOutput stdout) True defaultTheme [] (0, emptyContext) emptyContext M.empty
413 (RawOutput stdout) True defaultTheme [] (0, emptyContext) emptyContext M.empty
416− AutomaticWidth S.empty S.empty [] Nothing Nothing [] [] M.empty [] [] []
414+ AutomaticWidth S.empty S.empty [] [] [] M.empty [] [] []
417 emptyContext S.empty M.empty emptyContext initialInteractiveOpts
415 emptyContext S.empty M.empty emptyContext initialInteractiveOpts