Skip to content

mi_globals uses a lot of memory when using ghci

I am loading Agda into GHCi and the mi_globals field retains the GlobalRdrEnv for a module. This is pretty bad because it uses a quadratic amount of memory because the field ends up containing the environment for the transitive closure of the module.

mi_globals: 1966mb
no mi_globals: 1554mb
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information