Commit 422ffce0 authored by Ben Gamari's avatar Ben Gamari 🐢 Committed by Marge Bot

Add timing on loadInterface

AndreasK recently mentioned that he thought that interface file loading
may be a non-trivial cost. Let's measure.
parent 81860281
......@@ -399,7 +399,8 @@ loadInterface doc_str mod from
-- Redo search for our local hole module
loadInterface doc_str (mkModule (thisPackage dflags) (moduleName mod)) from
| otherwise
= do { -- Read the state
= withTiming getDynFlags (text "loading interface") (pure ()) $
do { -- Read the state
(eps,hpt) <- getEpsAndHpt
; gbl_env <- getGblEnv
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment