Commit Graph

2307 Commits

Author SHA1 Message Date
Nikolay Yakimov fde7bafe56 [Type-constraints] Fix type variable substitution 2016-01-20 00:02:23 +03:00
Daniel Gröber d77e262915 Remove dependency on Safe from Setup.hs 2016-01-19 21:01:28 +01:00
Daniel Gröber 345bd92d21 Make runGhcModT thread lock test more reliable
it was failing reproducibly with `cabal test --show-details=streaming`
2016-01-19 21:01:25 +01:00
Daniel Gröber bd021e42b3 Remove dependency on Safe from Setup.hs 2016-01-19 20:58:12 +01:00
Nikolay Yakimov 39659b2917 [Type-constraints] Removed unnecessary definitions 2016-01-19 22:53:07 +03:00
Daniel Gröber bb5ac3899a Make runGhcModT thread lock test more reliable
it was failing reproducibly with `cabal test --show-details=streaming`
2016-01-19 20:51:11 +01:00
Nikolay Yakimov 960a49c1ed [Type-constraints] Marginally better version
* Instead of listify, it walks the tree instead, so that constraints are only visible in relevant context.
* Uses Map instead of [(,)]
* Performs type substitutions in case of one child identifier found (relevant for constructor bindings)
2016-01-19 22:50:14 +03:00
Daniel Gröber c0e563fbff ChangeLog 2016-01-19 19:10:43 +01:00
Nikolay Yakimov 549d3e1006 [Type-constraints] Compounds type substitution 2016-01-18 09:02:28 +03:00
Nikolay Yakimov 966c694dbf [Type-constraints] Initial attempt at compounds
I try to compute constraints for "compound" types.
While constraint-building itself is simple, types
do not match due to different representation
between 'internal' and 'exported' signatures.
2016-01-18 07:09:14 +03:00
Nikolay Yakimov 88f61724d4 [Type-constraints] Proof-of-concept 2016-01-18 07:09:14 +03:00
Daniel Gröber 566dbebe29 Merge release-5.5.0.0 into master (using imerge) 2016-01-17 21:03:28 +01:00
Daniel Gröber 5efa123f36 bump.sh: skip bump commit when empty 2016-01-17 20:19:08 +01:00
Daniel Gröber 17c4f91812 add TODO for HMG 2016-01-17 20:19:08 +01:00
Daniel Gröber d29c882cd6 Fix warning with 7.10 2016-01-17 20:19:08 +01:00
Daniel Gröber ef8786dde2 ChangeLog 2016-01-17 20:16:33 +01:00
Daniel Gröber 0d4636bcfd Merge branch 'release-5.5.0.0' into release 2016-01-17 20:05:19 +01:00
Daniel Gröber 54fe4a0edb Replace fromJust with fromJustNote everywhere 2016-01-13 04:56:39 +01:00
jpmoresmau 0974eec9a5 docs 2016-01-13 04:55:08 +01:00
Nikolay Yakimov 2066a198eb Merge branch 'lierdakil/fix-722' 2016-01-12 22:43:29 +03:00
Nikolay Yakimov 5425a09666 [#722] Get encoding from hlint options 2016-01-12 22:22:13 +03:00
Nikolay Yakimov 0a0cd8041e Set file encoding to uft8 in Lint
Fixes #722
2016-01-12 21:33:20 +03:00
Daniel Gröber 33e9751390 Fix writeAutogen when no systemwide ghc is installed (#660) 2016-01-10 22:19:33 +01:00
Daniel Gröber 363aa10fcd Fix GHC<7.10 2016-01-10 00:25:02 +01:00
Daniel Gröber 3bba2d1be9 Fix warning 2016-01-09 23:39:42 +01:00
Daniel Gröber 49b5c4bb2d Fix severity prefix doubling (#689) 2016-01-09 23:22:27 +01:00
Daniel Gröber bb3333efe3 Cleanup logging in Cradle 2016-01-09 23:21:59 +01:00
Daniel Gröber 68cd165088 Merge branch 'fix-718' of https://github.com/atom-haskell/ghc-mod into release-5.5.0.0 2016-01-09 22:40:47 +01:00
Daniel Gröber bae40cb614 Better field names for SymbolDb 2016-01-09 22:23:20 +01:00
Daniel Gröber 8b5bd1ae2b Merge branch 'btr-find' of https://github.com/atom-haskell/ghc-mod into release-5.5.0.0 2016-01-09 22:17:49 +01:00
Nikolay Yakimov 4ff819906d NFData ByteString instance for GHC-7.4 2016-01-09 18:51:57 +03:00
Nikolay Yakimov c9a832de0f NFData fix for ClockTime on GHC 7.4 2016-01-09 17:59:57 +03:00
Nikolay Yakimov 68689bfcfd Use Binary for 'find' communication channel 2016-01-09 17:27:21 +03:00
Nikolay Yakimov b9c796421f Silence GHC>=7.10 warning 2016-01-09 17:19:00 +03:00
Nikolay Yakimov 64a45fa510 Fail (NG) on command format errors 2016-01-08 22:10:50 +03:00
Daniel Gröber 16b63cf22c Merge branch 'new-hlint' of https://github.com/atom-haskell/ghc-mod 2016-01-08 18:20:59 +01:00
Nikolay Yakimov 9b512c3e6b Gracefully fail if stack couldn't be initialized 2016-01-08 19:17:43 +03:00
Nikolay Yakimov 3700fa00e6 Fix dist/setup-config path in stack cradle init. 2016-01-08 19:17:43 +03:00
Daniel Gröber 89b1ac2d1e Optimize dumpsym maximum memory usage
This took ages to track down. Turns out GHC keeps references to all
loaded ModIfaces in the PackageInterfaceTable in ExternalPackageState
for caching. ExternalPackageState is in an IORef in HscEnv so
overwriting that with a copy from right after init improves things a
bit. Next I use unsafeInterleaveIO to load the ModIfaces as we serialize
the symbol table rather than before thus reducing the amount of memory
needed even more.
2016-01-08 16:58:40 +01:00
Daniel Gröber 84fa5f89cf Merge branch 'release-5.5.0.0' 2016-01-08 16:01:47 +01:00
Nikolay Yakimov 553389ed7b Try adding a standalone deriving read instance 2016-01-06 19:22:49 +03:00
Nikolay Yakimov da1c1bebb2 Use stdout pipe instead of temp.files in Find 2016-01-05 13:44:17 +03:00
Nikolay Yakimov dfa0e7e31e Use new hlint API 2016-01-05 11:34:38 +03:00
Daniel Gröber 306cb939a9 Update stack.yaml 2016-01-04 23:58:44 +01:00
Daniel Gröber 73863e0b00 Remove GMEWrongWorkingDirectory constructor 2016-01-04 21:44:49 +01:00
Daniel Gröber d3c159821a Update cabal file Authors field
Welcome to the club @lierdakil :)
2016-01-04 21:43:20 +01:00
Daniel Gröber 37918fdfbe bump.sh: Allow version tags 2016-01-04 20:48:51 +01:00
Daniel Gröber dcc1620412 ChangeLog 2016-01-04 20:37:43 +01:00
Daniel Gröber ab1fa9cc13 Bump version to 5.5.0.0 2016-01-04 20:36:27 +01:00
Daniel Gröber f172704ad0 Merge branch 'release-5.5.0.0' into release 2016-01-04 20:36:27 +01:00