Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make GHC store language extensions in .hi files #742

Open
martijnbastiaan opened this issue Aug 26, 2019 · 1 comment
Open

Make GHC store language extensions in .hi files #742

martijnbastiaan opened this issue Aug 26, 2019 · 1 comment
Labels
GHC GHC patch needed

Comments

@martijnbastiaan
Copy link
Member

As @mmzx noted in #722 (comment), we can't warn users about NoMonoLocalBinds if the code we're fetching comes from external packages (.hi files) simply because GHC doesn't store what language extensions modules were built with. We should investigate whether we can extend GHC to support this.

@martijnbastiaan martijnbastiaan added the GHC GHC patch needed label Aug 26, 2019
@christiaanb
Copy link
Member

GHC 8.8 has support for .hie files now, which is probably where you want to store them in parsed form. For 8.8, we can get them from the unparsed source: https://downloads.haskell.org/~ghc/8.8.1/docs/html/libraries/ghc-8.8.1/HieTypes.html#t:HieFile; for 8.10 it would be nice to get them in the parsed form: you'll have to open a ticket for that: https://gitlab.haskell.org/ghc/ghc/issues

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
GHC GHC patch needed
Projects
None yet
Development

No branches or pull requests

2 participants