Skip to content

Eliminate two thunks

Hannes Siebenhandl requested to merge wip/fendor/fix-thunks-name-and-ui into master

Eliminate two small thunks that we noticed.

Thunk analysis showed that we have about 100_000 thunks (in agda and -fwrite-simplified-core) pointing to the name of the name decl. Forcing this thunk fixes this issue.

Force in_multi to avoid retaining entire hsc_env

Edited by Hannes Siebenhandl

Merge request reports