Merge branch 'wip/new-flatten-skolems-Oct14' into wip/GenericsMetaData

Authored by dreixel.

Description

Merge branch 'wip/new-flatten-skolems-Oct14' into wip/GenericsMetaData

Conflicts:
compiler/typecheck/TcDeriv.lhs
compiler/typecheck/TcGenGenerics.lhs

Details

Merged Changes

This commit merges a very large number of changes. Only the first 50 are shown.
CommitAuthorDetailsCommitted
78a0fcb13046simonpj
Simon's major commit to re-engineer the constraint solver 
Nov 3 2014
37785df6febbsimonpj
Compiler performance is much worse in for loopy givens 
Nov 3 2014
a59bfa9f55afsimonpj
Make this test a bit simpler 
Oct 31 2014
4fe6e7691d3fsimonpj
Add flattening-notes 
Oct 31 2014
b75d3e5d33d7simonpj
Testsuite error message changes 
Oct 31 2014
9b82cfb8aac5simonpj
Comments only 
Oct 31 2014
87d89ea12050simonpj
Fix the superclass-cycle detection code (Trac #9739) 
Oct 31 2014
c1403989b10asimonpj
Test Trac #9739 
Oct 31 2014
1ca76706be6esimonpj
Add comments explaining ProbOneShot 
Oct 31 2014
bfadcaf24600simonpj
Test Trac #9747 
Oct 31 2014
8aa08f2ed7absimonpj
Improve error message for a handwritten Typeable instance 
Oct 31 2014
8075e4327df8simonpj
Test Trac #9708 
Oct 31 2014
d60edce18722simonpj
Test Trac #9211 
Oct 31 2014
697444dd9d7bsimonpj
Define ctEvLoc and ctEvCoercion, and use them 
Oct 31 2014
f61b89fce22bsimonpj
Minor refactoring (no change in functionality) 
Oct 31 2014
ec5be5fb8991simonpj
Don't filter out allegedly-irrelevant bindings with -dppr-debug 
Oct 31 2014
394ca3be64d1simonpj
Only report "could not deduce s~t from ..." for givens that include equalities 
Oct 31 2014
69cdebf66ea6simonpj
When reporting the context of given constraints, stop when you find one that… 
Oct 31 2014
ac31ee34be3dsimonpj
Typechecker debug tracing only 
Oct 31 2014
23600fb2016bsimonpj
Normalise the type of an inferred let-binding 
Oct 31 2014
446ced2fab5esimonpj
Get the Untouchables level right in simplifyInfer 
Oct 31 2014
0ce46e7025f3simonpj
Refactor the treatment of lexically-scoped type variables for instance… 
Oct 31 2014
4290bdaef7d7simonpj
Refactor skolemising, and newClsInst 
Oct 31 2014
7b3c7422ae04simonpj
Rename setRole_maybe to downgradeRole_maybe 
Oct 31 2014
9b888dd890b7simonpj
Simplify the API for tcInstTyVars, and make it more consistent with other… 
Oct 31 2014
54e5a43bc270simonpj
Fix reduceTyFamApp_maybe 
Oct 31 2014
3c7eec43328bsimonpj
White space only 
Oct 31 2014
e741075ee27bsimonpj
Add the unfolding and inline-pragma for DFuns in DsBinds, not TcInstDcls 
Oct 31 2014
68d3377644a2simonpj
Simplify the generation of superclass constraints in tcInstDecl2 
Oct 31 2014
e4a0a3ed8a2asimonpj
Some refactoring around endPass and debug dumping 
Oct 31 2014
fe60b78eb538simonpj
Improve pretty-printing of type variables 
Oct 31 2014
b52c34557571simonpj
Tidy up pretty-printing of SrcLoc and SrcSpan 
Oct 31 2014
9de52406522djstolarek
Comments only 
Oct 30 2014
93c776a445a7D398gintas/austin
Added mingw32-specific expected stdout files for tests/driver/sigof{01,02,03} 
Oct 29 2014
c211f8e55b8dD386nomeata/austin
Add __GLASGOW_HASKELL_TH__=YES/NO to CPP definitions 
Oct 29 2014
3d27f6975467D384gintas/austin
Do not use a relative path for echo in tests/ghci/prog013. 
Oct 29 2014
f10b67a0d3caD383gintas/austin
Updated stale ghcpkg05.stderr-mingw32. 
Oct 29 2014
45175e13edadD382gintas/austin
Extra CRs are now filtered out from the source file for :list. 
Oct 29 2014
acb3295c6917D373gintas/austin
Avoid setting -Werror=unused-but-set-variable on Windows. 
Oct 29 2014
5ce1266a7d32D372gintas/austin
Use snwprintf instead of swprintf in rts/Linker.c. 
Oct 29 2014
257cbec2f605D327dfeuer/austin
Fix #9236 Error on read from closed handle 
Oct 29 2014
322810e32cb1D319rodlogic/austin
Convert GHCi sources from .lhs to .hs 
Oct 29 2014
f9ca529d3b35austin
hsc2hs: Update submodule 
Oct 29 2014
208a0c207c10D400gintas/austin
Fixed unused variable warning on mingw32/i686 in rts/Linker.c 
Oct 29 2014
64d0a198be05D394dfeuer/nomeata
Really fix fft2 regression. #9740 
Oct 29 2014
f1090855d9b8hvr
Update Haddock submodule for collapsible section support 
Oct 29 2014
5f69c8efd948D390dfeuer/nomeata
Reorder GHC.List; fix performance regressions 
Oct 29 2014
75979f3661ffD380dfeuer/hvr
base: Refactor/clean-up *List modules 
Oct 28 2014
98ed815f658bnomeata
Make iterateFB inlineable 
Oct 28 2014
3d6422b20db9nomeata
testlib: Get rid of two_normalisers 
Oct 28 2014