Add timing on loadInterface

Authored by bgamari on Sun, Aug 4, 5:44 PM.

Description

Add timing on loadInterface

AndreasK recently mentioned that he thought that interface file loading
may be a non-trivial cost. Let's measure.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Sat, Aug 10, 1:40 PM
Parents
rGHC818602818bb8: Consolidate `TablesNextToCode` and `GhcUnreigsterised` in configure (#15548)
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC422ffce0c65f: Add timing on loadInterface (authored by bgamari).Sat, Aug 10, 1:40 PM