You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, we use -ddump-hi. However, the result files can be quite large and I imagine cost quite a bit to synthesize, and time to parse. This is particularly costly when there are lots of inlineable functions.
We may need to add -ddump-deps or something to ghc, which would contain a subset of the interface ddump.
The text was updated successfully, but these errors were encountered:
Currently, we use
-ddump-hi
. However, the result files can be quite large and I imagine cost quite a bit to synthesize, and time to parse. This is particularly costly when there are lots of inlineable functions.We may need to add
-ddump-deps
or something to ghc, which would contain a subset of the interface ddump.The text was updated successfully, but these errors were encountered: