Capture original source for literals
[ghc.git] / compiler / typecheck / TcHsSyn.lhs
2014-11-21  Alan ZimmermanCapture original source for literals
2014-11-21  Alan ZimmermanAST changes to prepare for API annotations, for #9628
2014-11-21  Simon Peyton JonesImplement full co/contra-variant subsumption checking...
2014-11-21  Eric SeidelAdd flag `-fwarn-missing-exported-sigs`
2014-11-04  Simon Peyton JonesA little refactoring of HsSplice and friends
2014-09-24  Herbert Valerio... `M-x delete-trailing-whitespace` & `M-x untabify`
2014-09-21  Herbert Valerio... Export `Monoid(..)`/`Foldable(..)`/`Traversable(.....
2014-07-29  Dr. ERDI GergoRefactor PatSynBind so that we can pass around PSBs...
2014-07-29  Dr. ERDI GergoAdd parser support for explicitly bidirectional pattern...
2014-06-06  Sjoerd VisscherMerge branch 'master' of git://git.haskell.org/ghc
2014-06-05  Simon Peyton JonesFix egregious instantiation bug in matchOneConLike...
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-04-13  Dr. ERDI GergoInstead of tracking Origin in LHsBindsLR, track it...
2014-01-20  Dr. ERDI GergoImplement pattern synonyms
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-12-02  Richard EisenbergRemove dead code orphaned by implementing GND with...
2013-11-27  Joachim BreitnerGet rid of EvCoercible
2013-11-27  Joachim BreitnerRoleify TcCoercion
2013-11-25  Simon Peyton JonesAnother raft of Template Haskell clean-up
2013-10-04  Geoffrey MainlandMerge New Template Haskell branch.
2013-10-04  Geoffrey MainlandAdd full support for declaration splices.
2013-10-04  Geoffrey MainlandAdd support for pattern splices.
2013-10-04  Geoffrey MainlandTrack TH stage in the renamer.
2013-09-13  Joachim BreitnerIntroduce coerce :: Coercible a b -> a -> b
2013-09-13  Iavor S. DiatchkiAdd support for evaluation of type-level natural numbers.
2013-05-30  Simon Peyton JonesUse new TcHsType.zonkSigType to establish Type invariants
2013-05-12  Ian LynaghMerge win:/cygdrive/c/ghc/git/dt
2013-05-12  Ian LynaghModernise some code
2013-05-12  Ian LynaghRemove a "returnM = return" wrapper in typecheck/TcHsSy...
2013-05-12  Ian LynaghRemove a "mappM = mapM" wrapper in typecheck/TcHsSyn.lhs
2013-05-12  Ian LynaghWhitespace only in typecheck/TcHsSyn.lhs
2013-05-12  Ian LynaghRemove an old commented out import
2013-03-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-03-04  Simon Peyton JonesRearrange the typechecking of arrows, especially arrow...
2013-02-15  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-02-15  Gabor GreifSquash some typos
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  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-06  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid-merge'
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-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-04  Simon Peyton JonesRefactor HsExpr.MatchGroup
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-05  Manuel M T ChakravartyRewrote vectorisation avoidance (based on the HS paper)
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-03  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-03  Simon Peyton JonesThis big patch re-factors the way in which arrow-syntax...
2012-10-02  Simon Peyton JonesMerge branch 'tc-untouchables'
2012-10-02  Simon Peyton JonesMerge remote-tracking branch 'origin/master'
2012-10-02  Simon Peyton JonesImprove (and simplify) the short-circuiting of Refl...
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-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  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-09-17  Ian LynaghMove tARGET_* out of HaskellConstants
2012-09-17  Simon Peyton JonesImplement 'left' and 'right' coercions
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 JonesMerge branch 'tc-untouchables', remote branch 'origin...
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 JonesFix Trac #7128, by zonking kind varaibles more assiduou...
2012-07-25  Ian LynaghMerge commit 'c859d17f9b0ae8559dac4f7e5cb8521e7ab5f0fb'
2012-07-23  Simon Peyton JonesNumerous small changes to the constraint solver
2012-07-19  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-07-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-07-16  Mikhail VorozhtsovImplemented MultiWayIf extension.
2012-07-16  Mikhail VorozhtsovImplemented \case expressions.
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-08  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-06-08  Paolo CapriottiMerge remote-tracking branch 'origin/pretty-build'
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-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
next