Rejig builders for pattern synonyms, especially unlifted ones
[ghc.git] / compiler / deSugar / DsBinds.lhs
2014-11-04  Simon Peyton JonesAdd the unfolding and inline-pragma for DFuns in DsBind...
2014-10-14  Jan StolarekFix comment typos: lll -> ll, THe -> The
2014-09-26  Simon Peyton JonesDe-tabify and remove trailing whitespace
2014-08-29  Gabor GreifTypos in comments
2014-08-28  Simon Peyton JonesRefactor unfoldings
2014-08-01  Simon Peyton JonesFix-up to d4d4bef2 'Improve the desugaring of RULES'
2014-08-01  Simon Peyton JonesImprove the desugaring of RULES, esp those from SPECIAL...
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-03-25  Simon Peyton JonesImprove the desugaring of RULE left-hand-sides (fixes...
2014-03-13  Simon Peyton JonesA bit more tracing to do with SPECIALISE pragmas
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-29  Herbert Valerio... Remove whitespace between macro identifiers and `(`
2013-11-28  Joachim BreitnerEvCast needs to take a representational coercion
2013-11-27  Joachim BreitnerGet rid of EvCoercible
2013-11-27  Joachim BreitnerRoleify TcCoercion
2013-11-22  Joachim BreitnerExtend Coercible to newtype instances
2013-11-20  Joachim BreitnerMake Coercible higher-kinded
2013-10-25  Austin SeippPlacate clang (#8444, #8445)
2013-10-23  Richard EisenbergRemove debugging printouts -- sorry!
2013-10-23  Richard EisenbergMerge branch 'master' of git://git.haskell.org/ghc
2013-10-23  Richard EisenbergChange GeneralizedNewtypeDeriving safety check.
2013-10-01  unknownComments only
2013-10-01  Simon MarlowGlobally replace "hackage.haskell.org" with "ghc.haskel...
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-08-02  Richard EisenbergImplement "roles" into GHC.
2013-05-30  Simon Peyton JonesMake 'SPECIALISE instance' work again
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-04-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-04-16  Simon Peyton JonesMake the desugarer a tiny bit cleverer on coercions...
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-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-02  Simon Peyton JonesDefine ListSetOps.getNth, and use it
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-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-12-14  Ian LynaghRename remaining FastBytes usages to ByteString
2012-10-09  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-09  Ian LynaghMake the opt_UF_* static flags dynamic
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-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 JonesImplement 'left' and 'right' coercions
2012-09-17  Simon Peyton JonesImprove the binding location of class methods (I think)
2012-08-29  Simon Peyton JonesMerge remote-tracking branch 'origin/HEAD' into tc...
2012-08-29  Simon Peyton JonesFix Trac #7196 by adding a case to the desugarer
2012-07-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-07-20  Simon Peyton JonesMerge ../HEAD
2012-07-19  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-07-14  Ian LynaghImplement FastBytes, and use it for MachStr
2012-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-06-13  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-12  Ian LynaghPass DynFlags down to showSDoc
2012-06-08  Paolo CapriottiMerge remote-tracking branch 'origin/pretty-build'
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-09  Simon Peyton JonesUse fresh uniques when unboxing coercions in the desugarer
2012-05-07  Simon Peyton JonesYet another major refactoring of the constraint solver
2012-03-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-24  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-21  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-20  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-04  Simon Peyton JonesAttach INLINE pagmas in mutually recursive bindings
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 JonesRefactoring around super-kinds
2012-02-14  Me at workMerge remote-tracking branch 'laptop/newcg' into newcg
2012-02-13  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-02-12  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-25  Iavor S. DiatchkiAdd support for type-level "strings".
2012-01-25  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-23  Simon Peyton JonesMerge in more HEAD, fix stuff up
2012-01-19  Ian LynaghFix validate
2012-01-17  Simon Peyton JonesWarn when a SPECIALISE pragma gives rise to a totally...
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesImplememt -fdefer-type-errors (Trac #5624)
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
next