[commit: ghc] wip/new-flatten-skolems-Oct14's head updated: Comments only (9e6c0e8)

git at git.haskell.org git at git.haskell.org
Fri Oct 31 13:44:12 UTC 2014


Repository : ssh://git@git.haskell.org/ghc

Branch 'wip/new-flatten-skolems-Oct14' now includes:

     208a0c2 Fixed unused variable warning on mingw32/i686 in rts/Linker.c
     f9ca529 hsc2hs: Update submodule
     322810e Convert GHCi sources from .lhs to .hs
     257cbec Fix #9236 Error on read from closed handle
     5ce1266 Use snwprintf instead of swprintf in rts/Linker.c.
     acb3295 Avoid setting -Werror=unused-but-set-variable on Windows.
     45175e1 Extra CRs are now filtered out from the source file for :list.
     f10b67a Updated stale ghcpkg05.stderr-mingw32.
     3d27f69 Do not use a relative path for echo in tests/ghci/prog013.
     c211f8e Add __GLASGOW_HASKELL_TH__=YES/NO to CPP definitions
     93c776a Added mingw32-specific expected stdout files for tests/driver/sigof{01,02,03}
     9de5240 Comments only
     b52c345 Tidy up pretty-printing of SrcLoc and SrcSpan
     fe60b78 Improve pretty-printing of type variables
     e4a0a3e Some refactoring around endPass and debug dumping
     68d3377 Simplify the generation of superclass constraints in tcInstDecl2
     e741075 Add the unfolding and inline-pragma for DFuns in DsBinds, not TcInstDcls
     3c7eec4 White space only
     54e5a43 Fix reduceTyFamApp_maybe
     9b888dd Simplify the API for tcInstTyVars, and make it more consistent with other similar functions
     7b3c742 Rename setRole_maybe to downgradeRole_maybe
     4290bda Refactor skolemising, and newClsInst
     0ce46e7 Refactor the treatment of lexically-scoped type variables for instance declarations
     446ced2 Get the Untouchables level right in simplifyInfer
     23600fb Normalise the type of an inferred let-binding
     ac31ee3 Typechecker debug tracing only
     69cdebf When reporting the context of given constraints, stop when you find one that binds a variable mentioned in the wanted
     394ca3b Only report "could not deduce s~t from ..." for givens that include equalities
     ec5be5fb Don't filter out allegedly-irrelevant bindings with -dppr-debug
     f61b89f Minor refactoring (no change in functionality)
     697444d Define ctEvLoc and ctEvCoercion, and use them
     d60edce Test Trac #9211
     8075e43 Test Trac #9708
     8e62b70 Testsuite error message changes
     891f03d Add flattening-notes
     d81c97f Improve error message for a handwritten Typeable instance
     c9f8742 Test Trac #9747
     9b911e3 Source code work in progress
     0dc512a Add comments explaining ProbOneShot
     d3ac485 Make this test a bit simpler
     054d7ef Test Trac #9739
     f2cec02 Fix the superclass-cycle detection code (Trac #9739)
     9e6c0e8 Comments only


More information about the ghc-commits mailing list