summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcRnDriver.lhs
Commit message (Expand)AuthorAgeFilesLines
* AST changes to prepare for API annotations, for #9628Alan Zimmerman2014-11-211-5/+5
* Add flag `-fwarn-missing-exported-sigs`Eric Seidel2014-11-201-6/+13
* Split SynTyCon to SynonymTyCon and FamilyTyConJan Stolarek2014-11-201-9/+13
* Implement typechecker pluginsAdam Gundry2014-11-201-4/+44
* make TcRnMonad.lhs respect -ddump-to-fileGreg Weber2014-11-191-3/+3
* Fix #9204 by outputting extra info on boot file mismatch.Richard Eisenberg2014-11-121-48/+134
* Typechecker debug tracing onlySimon Peyton Jones2014-11-041-1/+1
* Normalise the type of an inferred let-bindingSimon Peyton Jones2014-11-041-3/+4
* remove old .NET related codeYuras Shumovich2014-10-311-4/+0
* Implementation of hsig (module signatures), per #9252Edward Z. Yang2014-10-241-31/+186
* Don't re-export `Alternative(..)` from Control.Monad (re #9586)Herbert Valerio Riedel2014-09-261-4/+0
* Make Applicative a superclass of MonadAustin Seipp2014-09-091-0/+4
* PostTcType replaced with TypeAnnotAlan Zimmerman2014-09-061-1/+2
* Rename PackageId to PackageKey, distinguishing it from Cabal's PackageId.Edward Z. Yang2014-07-211-2/+2
* Entirely re-jig the handling of default type-family instances (fixes Trac #9063)Simon Peyton Jones2014-07-151-8/+5
* Refactor checkHiBootIface so that TcGblEnv is not necessary.Edward Z. Yang2014-07-011-13/+28
* Make the matcher and wrapper Ids in PatSyn into LocalIds, not GlobalIdsSimon Peyton Jones2014-06-061-2/+3
* Do pretty-printing of TyThings via IfaceDecl (Trac #7730)Simon Peyton Jones2014-06-031-4/+1
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-0/+2
* Remove external coreAustin Seipp2014-05-031-128/+1
* Deprecate the AMP warnings.Austin Seipp2014-04-201-214/+1
* Instead of tracking Origin in LHsBindsLR, track it in MatchGroupDr. ERDI Gergo2014-04-131-7/+5
* Export runTcInteractive from TcRnDriver, and from GHC (Trac #8878)Simon Peyton Jones2014-03-131-0/+1
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-6/+9
* Re-work the naming story for the GHCi prompt (Trac #8649)Simon Peyton Jones2014-01-091-108/+88
* More faff to get GHCi's top-level environment rightSimon Peyton Jones2013-11-281-46/+38
* Another raft of Template Haskell clean-upSimon Peyton Jones2013-11-251-8/+3
* Clarify what is in ic_tythings, and refactor TcRnDriver.setInteractiveContextSimon Peyton Jones2013-11-221-64/+47
* A raft of changes driven by Trac #8540Simon Peyton Jones2013-11-221-2/+2
* Simplify and improve coverage of ":info" instance lookupPatrick Palka2013-11-141-9/+0
* Suppress AMP warnings with -XNoImplicitPrelude (fixed Trac #8320)Simon Peyton Jones2013-10-241-3/+17
* Remove debugging printouts -- sorry!Richard Eisenberg2013-10-231-2/+0
* Add machinery to reify annotations (#8397)Austin Seipp2013-10-111-7/+9
* Remove outdated comment (#8434)Austin Seipp2013-10-111-9/+1
* Clean up some outdated comments (#8418)Austin Seipp2013-10-091-2/+5
* Add support for Template Haskell module finalizers.Geoffrey Mainland2013-10-041-1/+8
* Allow splices to add additional top-level declarations.Geoffrey Mainland2013-10-041-0/+32
* Code formatting cleanup.Geoffrey Mainland2013-10-041-32/+34
* Add full support for declaration splices.Geoffrey Mainland2013-10-041-4/+5
* Simplify printing of boot-file mis-matches, by using PprTyThing.pprTyThingSimon Peyton Jones2013-10-041-15/+4
* Compare against pRELUDE_NAME instead of "Prelude"Patrick Palka2013-09-301-1/+1
* Fix AMP warnings for explicit Prelude imports (#8004)Austin Seipp2013-09-291-6/+66
* Refactor AMP warnings a bitSimon Peyton Jones2013-09-201-23/+30
* Change role annotation syntax.Richard Eisenberg2013-09-171-5/+5
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-121-0/+1
* Implement the AMP warning (#8004)Austin Seipp2013-09-111-2/+147
* factor 'tcRnModuleTcRnM' out of 'tcRnModule' and export itNicolas Frisby2013-09-101-12/+22
* Added support for writing and checking closed type families is hs-boot files.Richard Eisenberg2013-08-051-13/+38
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-3/+9
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-16/+12
View Lorry Controller Status