| Commit message (Expand) | Author | Age | Files | Lines |
* | compiler: de-lhs typecheck/ | Austin Seipp | 2014-12-03 | 1 | -2161/+0 |
* | Minor refactoring of Edward's recent orphans patch (Trac #2182) | Simon Peyton Jones | 2014-12-02 | 1 | -2/+1 |
* | Rename Untouchables to TcLevel | Simon Peyton Jones | 2014-12-02 | 1 | -3/+3 |
* | Filter instance visibility based on set of visible orphans, fixes #2182.ghc-instvis | Edward Z. Yang | 2014-11-29 | 1 | -2/+20 |
* | Implement Partial Type Signatures | Thomas Winant | 2014-11-28 | 1 | -2/+2 |
* | Rename some of the functions in NameSet, to make the uniform with VarSet etc | Simon Peyton Jones | 2014-11-28 | 1 | -1/+1 |
* | Add -fdefer-typed-holes flag which defers hole errors to runtime. | Merijn Verstraaten | 2014-11-21 | 1 | -1/+1 |
* | Capture original source for literals | Alan Zimmerman | 2014-11-21 | 1 | -1/+2 |
* | AST changes to prepare for API annotations, for #9628 | Alan Zimmerman | 2014-11-21 | 1 | -5/+5 |
* | Add flag `-fwarn-missing-exported-sigs` | Eric Seidel | 2014-11-20 | 1 | -6/+13 |
* | Split SynTyCon to SynonymTyCon and FamilyTyCon | Jan Stolarek | 2014-11-20 | 1 | -9/+13 |
* | Implement typechecker plugins | Adam Gundry | 2014-11-20 | 1 | -4/+44 |
* | make TcRnMonad.lhs respect -ddump-to-file | Greg Weber | 2014-11-19 | 1 | -3/+3 |
* | Fix #9204 by outputting extra info on boot file mismatch. | Richard Eisenberg | 2014-11-12 | 1 | -48/+134 |
* | Typechecker debug tracing only | Simon Peyton Jones | 2014-11-04 | 1 | -1/+1 |
* | Normalise the type of an inferred let-binding | Simon Peyton Jones | 2014-11-04 | 1 | -3/+4 |
* | remove old .NET related code | Yuras Shumovich | 2014-10-31 | 1 | -4/+0 |
* | Implementation of hsig (module signatures), per #9252 | Edward Z. Yang | 2014-10-24 | 1 | -31/+186 |
* | Don't re-export `Alternative(..)` from Control.Monad (re #9586) | Herbert Valerio Riedel | 2014-09-26 | 1 | -4/+0 |
* | Make Applicative a superclass of Monad | Austin Seipp | 2014-09-09 | 1 | -0/+4 |
* | PostTcType replaced with TypeAnnot | Alan Zimmerman | 2014-09-06 | 1 | -1/+2 |
* | Rename PackageId to PackageKey, distinguishing it from Cabal's PackageId. | Edward Z. Yang | 2014-07-21 | 1 | -2/+2 |
* | Entirely re-jig the handling of default type-family instances (fixes Trac #9063) | Simon Peyton Jones | 2014-07-15 | 1 | -8/+5 |
* | Refactor checkHiBootIface so that TcGblEnv is not necessary. | Edward Z. Yang | 2014-07-01 | 1 | -13/+28 |
* | Make the matcher and wrapper Ids in PatSyn into LocalIds, not GlobalIds | Simon Peyton Jones | 2014-06-06 | 1 | -2/+3 |
* | Do pretty-printing of TyThings via IfaceDecl (Trac #7730) | Simon Peyton Jones | 2014-06-03 | 1 | -4/+1 |
* | Add LANGUAGE pragmas to compiler/ source files | Herbert Valerio Riedel | 2014-05-15 | 1 | -0/+2 |
* | Remove external core | Austin Seipp | 2014-05-03 | 1 | -128/+1 |
* | Deprecate the AMP warnings. | Austin Seipp | 2014-04-20 | 1 | -214/+1 |
* | Instead of tracking Origin in LHsBindsLR, track it in MatchGroup | Dr. ERDI Gergo | 2014-04-13 | 1 | -7/+5 |
* | Export runTcInteractive from TcRnDriver, and from GHC (Trac #8878) | Simon Peyton Jones | 2014-03-13 | 1 | -0/+1 |
* | Implement pattern synonyms | Dr. ERDI Gergo | 2014-01-20 | 1 | -6/+9 |
* | Re-work the naming story for the GHCi prompt (Trac #8649) | Simon Peyton Jones | 2014-01-09 | 1 | -108/+88 |
* | More faff to get GHCi's top-level environment right | Simon Peyton Jones | 2013-11-28 | 1 | -46/+38 |
* | Another raft of Template Haskell clean-up | Simon Peyton Jones | 2013-11-25 | 1 | -8/+3 |
* | Clarify what is in ic_tythings, and refactor TcRnDriver.setInteractiveContext | Simon Peyton Jones | 2013-11-22 | 1 | -64/+47 |
* | A raft of changes driven by Trac #8540 | Simon Peyton Jones | 2013-11-22 | 1 | -2/+2 |
* | Simplify and improve coverage of ":info" instance lookup | Patrick Palka | 2013-11-14 | 1 | -9/+0 |
* | Suppress AMP warnings with -XNoImplicitPrelude (fixed Trac #8320) | Simon Peyton Jones | 2013-10-24 | 1 | -3/+17 |
* | Remove debugging printouts -- sorry! | Richard Eisenberg | 2013-10-23 | 1 | -2/+0 |
* | Add machinery to reify annotations (#8397) | Austin Seipp | 2013-10-11 | 1 | -7/+9 |
* | Remove outdated comment (#8434) | Austin Seipp | 2013-10-11 | 1 | -9/+1 |
* | Clean up some outdated comments (#8418) | Austin Seipp | 2013-10-09 | 1 | -2/+5 |
* | Add support for Template Haskell module finalizers. | Geoffrey Mainland | 2013-10-04 | 1 | -1/+8 |
* | Allow splices to add additional top-level declarations. | Geoffrey Mainland | 2013-10-04 | 1 | -0/+32 |
* | Code formatting cleanup. | Geoffrey Mainland | 2013-10-04 | 1 | -32/+34 |
* | Add full support for declaration splices. | Geoffrey Mainland | 2013-10-04 | 1 | -4/+5 |
* | Simplify printing of boot-file mis-matches, by using PprTyThing.pprTyThing | Simon Peyton Jones | 2013-10-04 | 1 | -15/+4 |
* | Compare against pRELUDE_NAME instead of "Prelude" | Patrick Palka | 2013-09-30 | 1 | -1/+1 |
* | Fix AMP warnings for explicit Prelude imports (#8004) | Austin Seipp | 2013-09-29 | 1 | -6/+66 |