summaryrefslogtreecommitdiff
path: root/compiler/typecheck/Inst.hs
Commit message (Expand)AuthorAgeFilesLines
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Small changes to ddump-tc tracingSimon Peyton Jones2017-08-311-4/+5
* Use a well-kinded substitution to instantiateSimon Peyton Jones2017-08-291-1/+27
* Track visibility in TypeEqOriginRichard Eisenberg2017-07-271-1/+2
* Fix #13819 by refactoring TypeEqOrigin.uo_thingRichard Eisenberg2017-07-271-4/+4
* Mention which -Werror promoted a warning to an errorÖmer Sinan Ağacan2017-07-111-3/+3
* rename tcInstBinder(s)X to tcInstBinder(s)Gabor Greif2017-07-031-8/+8
* remove dead function 'tcInstBinders'Gabor Greif2017-06-291-6/+1
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-13/+16
* Make XNegativeLiterals treat -0.0 as negative 0Nolan2017-05-081-3/+3
* Improve error messages for skolemsSimon Peyton Jones2017-03-101-23/+29
* Check that a default type signature aligns with the non-default signatureRyan Scott2017-01-301-0/+4
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-3/+4
* Maintain in-scope set in deeply_instantiate (fixes #12549).John Leo2016-12-021-8/+26
* Get rid of TcTyVars more assiduouslySimon Peyton Jones2016-11-021-7/+9
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-2/+2
* The Backpack patch.Edward Z. Yang2016-10-081-8/+1
* Refactor tcInferArgs and add comments.Richard Eisenberg2016-06-251-1/+1
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-3/+3
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-2/+2
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-11/+13
* Get in-scope set right in top_instantiateSimon Peyton Jones2016-06-131-5/+11
* Improve the behaviour of warnIfSimon Peyton Jones2016-04-221-3/+2
* Build correct substitution in instDFunTypeBartosz Nitka2016-03-291-2/+4
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-1/+3
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-4/+123
* (Another) minor refactoring of substitutionsSimon Peyton Jones2016-02-181-2/+3
* Add asserts to other substitution functionsBartosz Nitka2016-01-301-5/+5
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-28/+27
* Check InScopeSet in substTy and provide substTyUncheckedBartosz Nitka2016-01-191-4/+5
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-6/+6
* Visible type applicationRichard Eisenberg2015-12-241-25/+101
* Refactoring onlySimon Peyton Jones2015-12-241-0/+1
* Fix typechecking for pattern synonym signaturesSimon Peyton Jones2015-12-221-2/+2
* Expose enabled language extensions to THBen Gamari2015-12-151-2/+4
* Remove redundant importsRichard Eisenberg2015-12-121-1/+0
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-127/+43
* Implement more deterministic operations and document themBartosz Nitka2015-12-021-9/+38
* ApiAnnotations: Make all RdrName occurences LocatedAlan Zimmerman2015-11-231-2/+2
* Implement DuplicateRecordFieldsAdam Gundry2015-10-161-1/+2
* Move orphan instance/rule warnings to typechecker/desugarer.Edward Z. Yang2015-10-081-1/+15
* Comments onlySimon Peyton Jones2015-10-061-0/+3
* Refactoring around FunDepsSimon Peyton Jones2015-07-241-14/+13
* Remove some horrible munging of origins for CoercibleSimon Peyton Jones2015-06-181-15/+2
* Rename getCtLoc, setCtLocSimon Peyton Jones2015-06-181-3/+3
* Remove redundant tcg_visible_orphan_mods, it is recorded in imp_orphs.Edward Z. Yang2015-06-111-1/+1
* New handling of overlapping inst in Safe HaskellDavid Terei2015-05-111-1/+1
* Expose source locations via Implicit Parameters of type GHC.Location.LocationEric Seidel2015-01-191-2/+0
* API Annotations tweaks.Alan Zimmerman2015-01-161-3/+3
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-2/+16
View Lorry Controller Status