@@ -292,8 +292,6 @@ data IState = IState {
292292 , idris_postulates :: S.Set Name
293293 , idris_externs :: S.Set (Name, Int)
294294 , 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])
297295
298296 -- | List of names that were defined in the repl, and can be re-/un-defined
299297 , idris_repl_defs :: [Name]
@@ -413,7 +411,7 @@ idrisInit = IState initContext S.empty []
413411 [] [] [] defaultOpts 6 [] [] [] [] emptySyntaxRules [] [] [] [] [] [] []
414412 [] [] Nothing [] Nothing [] [] Nothing Nothing emptyContext Private DefaultCheckingPartial [] Nothing [] []
415413 (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 [] [] []
417415 emptyContext S.empty M.empty emptyContext initialInteractiveOpts
418416
419417