summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcRnDriver.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-3/+3
* Module hierarchy: Renamer (cf #13009)Sylvain Henry2020-01-081-10/+10
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-9/+9
* Add GHC-API logging hooksSylvain Henry2019-12-181-5/+6
* Remove HasSrcSpan (#17494)Vladislav Zavialov2019-11-301-27/+27
* Make dynflag argument for withTiming pure.Andreas Klebinger2019-10-231-1/+1
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-0/+2
* Solve constraints from top-level groups soonerRichard Eisenberg2019-10-081-3/+7
* Mark newtype constructors as used in the Coercible solver (#10347)Ryan Scott2019-10-081-1/+1
* New fix for #11647. Avoid side effects like #17171Roland Senn2019-10-041-6/+7
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-2/+2
* Use level numbers for generalisationRichard Eisenberg2019-09-191-4/+4
* Refactor kindGeneralize and friendsRichard Eisenberg2019-09-191-2/+3
* Remove Bag fold specialisations (#16969)Richard Lupton2019-08-191-1/+1
* Use an empty data type in TTG extension constructors (#15247)Ryan Scott2019-07-091-16/+16
* Produce all DerivInfo in tcTyAndClassDeclsVladislav Zavialov2019-07-041-3/+2
* Add HoleFitPlugins and RawHoleFitswip/D5373Matthías Páll Gissurarson2019-06-211-2/+29
* Fix typechecking of partial type signaturesSimon Peyton Jones2019-06-191-2/+2
* Properly trim IdInfos of DFunIds and PatSyns in TidyPgmÖmer Sinan Ağacan2019-06-191-2/+3
* Fix #16517 by bumping the TcLevel for method sigsRichard Eisenberg2019-06-091-3/+4
* Add GHCi :instances commandXavier Denis2019-06-041-2/+5
* Implement ImportQualifiedPostShayne Fletcher2019-05-081-1/+1
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-8/+8
* Use captureTopConstraints in TcRnDriver callsSimon Peyton Jones2019-03-081-7/+12
* Visible dependent quantificationRyan Scott2019-03-011-1/+2
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-231-1/+2
* Add `-fplugin-trustworthy` to avoid marking modules as unsafeZejun Wu2019-02-041-1/+2
* Run typed splices in the zonkerMatthew Pickering2019-01-111-24/+49
* Be pickier about unsaturated synonyms in :kindRyan Scott2019-01-081-1/+1
* TcRnDriver: Fix haddock-like commentBen Gamari2018-12-211-6/+6
* Fix treatment of hi-boot files and dfunsSimon Peyton Jones2018-12-211-103/+112
* Support registering Plugins through the GHC APIDaniel Gröber2018-12-111-2/+1
* Wibble to Taming the Kind Inference MonsterSimon Peyton Jones2018-12-071-5/+9
* Introduce tcTypeKind, and use itSimon Peyton Jones2018-12-031-1/+1
* Fix #15953 by consistently using dumpIfSet_dyn to print debug outputChaitanya Koparkar2018-11-291-1/+1
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-5/+8
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-128/+132
* Fix #12906: GHC fails to typecheck Main module without mainRoland Senn2018-11-171-5/+5
* GHCi does not need a main functionroland2018-11-111-3/+5
* Revert "Remove kind generalisation from tcRnType"Richard Eisenberg2018-10-291-4/+17
* Remove kind generalisation from tcRnTypeRichard Eisenberg2018-10-291-20/+4
* Plugins: Add documentation and missing exportsBen Gamari2018-10-281-1/+1
* Fix `:k` command: add validity checkingNingning Xie2018-10-281-0/+4
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-1/+1
* A little more wibbling to -ddump-typesSimon Peyton Jones2018-10-251-2/+1
* Improve output from -ddump-typesSimon Peyton Jones2018-10-241-61/+79
* Make TcRnMonad independent of TcSplice (#14391)Krzysztof Gogolewski2018-10-041-5/+6
* Fail fast on pattern synonymsSimon Peyton Jones2018-10-041-12/+7
* Better -ddump-typesSimon Peyton Jones2018-10-041-20/+48
View Lorry Controller Status