Skip to content
This repository has been archived by the owner on Nov 24, 2022. It is now read-only.

Prune unwanted Typeable related bindings #17

Closed
TerrorJack opened this issue May 22, 2018 · 2 comments
Closed

Prune unwanted Typeable related bindings #17

TerrorJack opened this issue May 22, 2018 · 2 comments

Comments

@TerrorJack
Copy link
Member

GHC automatically generates Typeable related bindings in the closures for user-defined datatypes. This has the consequence of rapidly bloating the range of related rts routines and causing the linker to fail, even if we don't need anything related to Typeable at all.

We need to identify and prune Typeable related bindings generated in TcTypeable of ghc, either in the stage of codegen or linking.

@TerrorJack
Copy link
Member Author

Progress: gave up pruning, instead, implemented --force switch for ahc-link, which replaces ccalls to unknown targets with trap instruction. Currently this makes the code bundle links properly, but it branches out of StgRun pre-maturely so still needs extra work.

@TerrorJack
Copy link
Member Author

The premature exit of scheduler loop is due to an irrelevant issue. We'll keep the --force workaround in the foreseeable future.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant