Nikolay Yakimov
bca7748264
[Type-constraints] Do not duplicate constraints
2016-01-20 03:12:21 +03:00
Nikolay Yakimov
8449d36eca
[Type-constraints] Generalize some code, cleanup
2016-01-20 02:23:51 +03:00
Nikolay Yakimov
c117ed3b52
[Type-constraints] Some tests
2016-01-20 01:42:21 +03:00
Nikolay Yakimov
0c5da02d52
[Type-constraints] Add an option to toggle this
2016-01-20 01:29:33 +03:00
Nikolay Yakimov
aedc6b6b31
[Type-constraints] everythingStagedWithContext
...
This is required for GHC<7.10 due to a panic
2016-01-20 01:00:13 +03:00
Nikolay Yakimov
4e4eff7bdb
[Type-constraints] Remove tidyTopType
...
It didn't do much anyway
2016-01-20 00:10:18 +03:00
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