Reject negative type-level integers created via TH (#8412)
[ghc.git] / compiler / rename / RnTypes.lhs
2013-10-12  Krzysztof GogolewskiReject negative type-level integers created via TH...
2013-10-04  Geoffrey MainlandRemove tab.
2013-10-04  Geoffrey MainlandMerge New Template Haskell branch.
2013-10-04  Geoffrey MainlandConsolidate TH renaming.
2013-10-04  Geoffrey MainlandMove renamer splice functionality into a separate module.
2013-09-18  Richard EisenbergChange role annotation syntax.
2013-09-14  Joachim BreitnerGive language pragma suggestions without -X
2013-09-04  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-03  Edsko de VriesFix #7918
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-06-19  Austin SeippFix many ASSERT uses under Clang.
2013-06-03  Geoffrey MainlandUntabify
2013-05-28  Simon Peyton JonesCheck for illegal syntax in types (fixes Trac #7943)
2013-05-03  Simon Peyton JonesFix kind quantification (again)
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-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-25  Simon Peyton JonesComments only
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-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 JonesImprove error message when a variable is used both...
2012-10-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-16  Ian LynaghSome alpha renaming
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-08-15  Simon Peyton JonesRequire DataKinds for promoted list/tuple syntax in...
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
2012-05-15  Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-05-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-05-11  Simon Peyton JonesRefactor LHsTyVarBndrs to fix Trac #6081
2012-05-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-05-04  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-05-04  Simon Peyton JonesFix typo in error message (Trac #6076)
2012-04-23  Ian LynaghMerge nb:ghc/git/ghc
2012-04-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-13  Simon Peyton JonesAllow kind-variable binders in type signatures
2012-03-29  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-28  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-03-28  Simon Peyton JonesMake the LocalRdrEnv keep track of all the Names that...
2012-03-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-27  Simon Peyton JonesMerge with HEAD
2012-03-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-26  Simon Peyton JonesMake the 'extract' functions to find free type variables
2012-03-26  Simon Peyton JonesComplete refactoring of HsDecls/HsTyDefn
2012-03-24  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-22  Simon Peyton JonesRefactor HsDecls.TyClDecl to extract the type HsTyDefn...
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-16  Ian LynaghMerge branch 'master' of win:c:/m64/head/.
2012-03-16  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-03-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-03-14  Simon Peyton JonesDeal with kind variables brought into scope by a kind...
2012-03-14  Simon Peyton JonesImprove error message when interpreter is not enabled...
2012-03-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-14  Simon Peyton JonesDeal with kind variables brought into scope by a kind...
2012-03-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-12  Simon Peyton JonesImprove error message when interpreter is not enabled...
2012-03-02  Simon Peyton JonesHurrah! This major commit adds support for scoped...
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-26  Ian LynaghRename polyKindsErr to dataKindsErr
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-16  Jose Pedro MagalhaesSplit -XDataKinds from -XPolyKinds
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2011-12-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-19  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
next