Display operators using parentheses/backticks in error messages (#7848)
[ghc.git] / compiler / typecheck / TcRnTypes.lhs
2013-04-21  Krzysztof GogolewskiDisplay operators using parentheses/backticks in error...
2013-03-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-03-04  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-03-03  Simon Peyton JonesTreat equalities with incompatible kinds as "irreducibl...
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-14  Simon Peyton JonesAdd OverloadedLists, allowing list syntax to be overloaded
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-31  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-01-30  Gabor Greiftypos
2013-01-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-30  Simon Peyton JonesAdd support for *named* holes; an extension of -XTypeHoles
2013-01-08  Simon Peyton JonesMerge remote branch 'origin/master'
2013-01-08  Simon Peyton JonesRe-engineer the ambiguity test for user type signatures
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-22  Richard EisenbergImplement overlapping type family instances.
2012-12-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-11  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2012-12-08  Ian LynaghAdd replaceDynFlags to the ContainsDynFlags class
2012-12-06  Ian LynaghMerge branch 'master' of mac:ghc/git/val64/.
2012-12-05  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-05  Daniel VainsencherWhen using a GHC plugin, load its interface file very...
2012-12-02  Ian LynaghMerge branch 'ticket-7442' of git://github.com/phonohaw...
2012-11-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-11-26  Simon Peyton JonesAccurately report usage of newtype data constructors...
2012-11-21  Gabor Greiffix some typos
2012-11-21  Jose Pedro MagalhaesReject promoted constructors when -XDataKinds is not...
2012-11-15  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-11-10  Iavor S. DiatchkiMerge branch 'master' of ssh://darcs.haskell.org/srv...
2012-11-08  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-11-07  Gabor Greifanother typo
2012-11-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-11-02  Ian LynaghRefactoring: Make a HasModule class for getModule
2012-11-02  Ian LynaghWhitespace only in typecheck/TcRnTypes.lhs
2012-10-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-10-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-26  Simon Peyton JonesComments in Note [Efficient orientation] about interact...
2012-10-05  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-10-04  Simon Peyton JonesImprove erorr location for Given errors
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-02  Simon Peyton JonesMerge branch 'tc-untouchables'
2012-09-28  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-28  Simon Peyton JonesRefactor the handling of kind errors
2012-09-21  Simon Peyton JonesFiddling with kind errors
2012-09-20  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-18  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-17  Simon Peyton JonesRemove cc_ty from CIrredCan and cc_hole_ty from CHoleCan
2012-09-17  Simon Peyton JonesAnother refactoring of constraints
2012-09-17  Simon Peyton JonesAdd type "holes", enabled by -XTypeHoles, Trac #5910
2012-09-17  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-01  Simon Peyton JonesWibbles to fe6ddf00, fixing infelicities
2012-09-01  Simon Peyton JonesMerge branch 'tc-untouchables', remote branch 'origin...
2012-09-01  Simon Peyton JonesA bunch more simplification and refactoring to the...
2012-08-30  Simon Peyton JonesA raft more changes,
2012-08-29  Simon Peyton JonesMerge remote-tracking branch 'origin/HEAD' into tc...
2012-08-28  Simon Peyton JonesBig changes on tc-untouchables branch
2012-08-15  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-08-14  Simon Peyton JonesBetter debug printing
2012-07-25  Ian LynaghMerge commit 'c859d17f9b0ae8559dac4f7e5cb8521e7ab5f0fb'
2012-07-23  Simon Peyton JonesNumerous small changes to the constraint solver
2012-07-14  Ian LynaghMerge remote branch 'mikolaj/dcoutts'
2012-07-10  Simon Peyton JonesMerge branch 'master' of ../HEAD
2012-07-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-07-10  Simon Peyton JonesMore changes to kind inference for type and class decla...
2012-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-06-14  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-13  Simon Peyton JonesSimplify the implementation of Implicit Parameters
2012-06-13  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-11  Simon Marlowfix spelling: "infered" -> "inferred"
2012-06-08  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-06-08  Dimitrios.VytiniotisSignificant refactoring of TcSimplify, in particular...
2012-06-08  Paolo CapriottiMerge remote-tracking branch 'origin/pretty-build'
2012-06-07  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-07  Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-06-07  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-07  Simon Peyton JonesSupport polymorphic kind recursion
2012-06-05  Paolo CapriottiMerge remote-tracking branch 'origin/unboxed-tuple...
2012-06-05  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-05  Ian LynaghChange how macros like ASSERT are defined
2012-05-15  Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-05-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-05-09  Simon Peyton JonesMerge branch 'ghc-new-flavor'
2012-05-07  Simon Peyton JonesYet another major refactoring of the constraint solver
2012-04-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-10  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-04-10  Dimitrios.VytiniotisUpdates to the constraint solver to be able to handle...
2012-04-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-05  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-04-04  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
next