Closed Codas closed 9 years ago
I'll review this in the morning when I'm back at my desk! On 2 May 2015 16:35, "Arne" notifications@github.com wrote:
Codas wants to merge 1 commit into chrisdone:master from Codas:cabal-extensions:
Ide-backend-client currently ignore the cabal fields extensions or default-extensions and does not setup language extensions defined in the cabal file when starting a new cabal session.
With this PR, the necessary flags for the current target are automatically
applied directly after session initialization.
You can view, comment on, or merge this pull request online at:
https://github.com/chrisdone/ide-backend-client/pull/5 Commit Summary
- Set GHC language extensions specified in cabal file
File Changes
- M src/IdeSession/Client/Cabal.hs https://github.com/chrisdone/ide-backend-client/pull/5/files#diff-0 (40)
Patch Links:
- https://github.com/chrisdone/ide-backend-client/pull/5.patch
- https://github.com/chrisdone/ide-backend-client/pull/5.diff
— Reply to this email directly or view it on GitHub https://github.com/chrisdone/ide-backend-client/pull/5.
Cool, thanks!
Ide-backend-client currently ignore the cabal fields
extensions
ordefault-extensions
and does not setup language extensions defined in the cabal file when starting a new cabal session.With this PR, the necessary flags for the current target are automatically applied directly after session initialization.