Capture original source for literals
[ghc.git] / compiler / typecheck / TcExpr.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  Simon Peyton JonesRejig builders for pattern synonyms, especially unlifte...
2014-11-12  Richard EisenbergFix #9404 by removing tcInfExpr.
2014-11-06  Simon Peyton JonesMove expansion of 'assert' from renamer to typechecker
2014-11-04  Simon Peyton JonesA little refactoring of HsSplice and friends
2014-11-04  Simon Peyton JonesSimplify the API for tcInstTyVars, and make it more...
2014-09-19  Simon Peyton JonesClean up Coercible handling, and interaction of data...
2014-09-09  Austin SeippMake Applicative a superclass of Monad
2014-07-13  Gabor GreifTypo in comment
2014-07-12  Gabor GreifFix note spelling
2014-07-12  Gabor GreifTypoes in comments
2014-05-28  Jan StolarekFix comment typo
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-03-07  Simon Peyton JonesFix the treatment of lexically scoped kind variables...
2014-02-18  Simon Peyton JonesAllow ($) to return an unlifted type (Trac #8739)
2014-01-20  Dr. ERDI GergoImplement pattern synonyms
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-12-28  Simon Peyton JonesDefine mkTcNomReflCo = TcRefl Nominal, and use it all...
2013-12-05  Simon Peyton JonesTypecheck typed TH splices properly (fix Trac #8577)
2013-11-27  Joachim BreitnerRoleify TcCoercion
2013-11-25  Simon Peyton JonesAnother raft of Template Haskell clean-up
2013-11-22  Joachim BreitnerLarge refactor: Move CtLoc field from Ct to CtEvidence
2013-11-22  Simon Peyton JonesA raft of changes driven by Trac #8540
2013-11-06  Simon Peyton JonesTidy up the error messages we get from TH in stage1...
2013-10-04  Geoffrey MainlandMerge New Template Haskell branch.
2013-10-04  Geoffrey MainlandTrack TH stage in the renamer.
2013-10-04  Geoffrey MainlandTrack the typed/untyped distinction in the current...
2013-06-25  Simon Peyton JonesComments for Trac #7989
2013-06-25  Takano AkioImprove "No data constructor has all these fields"...
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-06-03  Geoffrey MainlandUntabify
2013-04-30  Simon Peyton JonesExend the "Too few args" message for naked Ids (Trac...
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-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-11-10  Iavor S. DiatchkiMerge branch 'master' of ssh://darcs.haskell.org/srv...
2012-10-31  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-31  Simon Peyton JonesDo not instantiate unification variables with polytypes
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-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-15  Simon Peyton JonesRefactor the type of tcBracked (no change in behaviour)
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-09-28  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-28  Simon Peyton JonesFix kind unification in the special rule for ($)
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-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-06  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-05  Paolo CapriottiMerge remote-tracking branch 'origin/unboxed-tuple...
2012-05-15  Max BolingbrokeSupport code generation for unboxed-tuple function...
2012-04-13  Simon Peyton JonesRevert "Added ':runmonad' command to GHCi"
2012-04-13  David TereiAdded ':runmonad' command to GHCi
2012-03-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-02-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-17  Simon Peyton JonesImplement a typing rule for saturated seq, and document it
2012-02-17  Simon Peyton JonesSubstantially nicer code in record updates
2012-02-16  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesChange ATyVar to only have a *tyvar* not a *type* in it
2012-02-16  Simon Peyton JonesGet rid of now-outdated zonkTypeCarefully
next