summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcBinds.hs
Commit message (Expand)AuthorAgeFilesLines
...
* Don't infer CallStacksEric Seidel2016-04-041-2/+2
* Make SigSkol take TcType not ExpTypeSimon Peyton Jones2016-03-311-2/+2
* Minor refactoring in mkExportSimon Peyton Jones2016-03-311-13/+15
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-11/+14
* Make warning names more consistentManav Rathi2016-02-251-4/+4
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-1/+1
* Simplify AbsBinds wrappingSimon Peyton Jones2016-02-121-121/+66
* Allow foralls in instance declsSimon Peyton Jones2016-02-081-2/+2
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-9/+9
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-271-1/+1
* Re-add missing kind generalisationSimon Peyton Jones2016-01-211-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-30/+29
* Implement scoped type variables in pattern synonymsSimon Peyton Jones2016-01-181-3/+6
* un-wire-in error, undefined, CallStack, and IPEric Seidel2016-01-181-3/+3
* Fix #11405.Richard Eisenberg2016-01-151-10/+15
* Spelling in a commentSimon Peyton Jones2016-01-071-1/+1
* Visible type applicationRichard Eisenberg2015-12-241-77/+221
* Add a pattern-syn form of PromotionErrSimon Peyton Jones2015-12-231-43/+10
* Fix typechecking for pattern synonym signaturesSimon Peyton Jones2015-12-221-41/+3
* Expose enabled language extensions to THBen Gamari2015-12-151-3/+4
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-58/+81
* Make sure PatSyns only get added once to tcg_patsynsMatthew Pickering2015-12-111-5/+3
* More typos in comments/docsGabor Greif2015-12-091-3/+3
* Comments about polymorphic recursionSimon Peyton Jones2015-12-081-2/+3
* Move checking for missing signatures to RnNames.reportUnusedNamesEric Seidel2015-12-071-1/+23
* Tidy user type errors in checkValidTypeSimon Peyton Jones2015-12-041-10/+6
* Wibbles onlySimon Peyton Jones2015-12-041-4/+4
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-177/+285
* ApiAnnotations: Make all RdrName occurences LocatedAlan Zimmerman2015-11-231-2/+2
* Revert "Unify hsig and hs-boot; add preliminary "hs-boot" merging."Edward Z. Yang2015-11-161-2/+2
* Implement the Strict language extensionAdam Sandberg Eriksson2015-11-141-5/+5
* APIAnnotations:add Locations in hsSyn for layoutAlan Zimmerman2015-11-131-2/+2
* Remove fun_infix from Funbind, as it is now in MatchAlan Zimmerman2015-11-111-11/+11
* Generate Typeable info at definition sitesBen Gamari2015-10-301-14/+22
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-25/+10
* Generate Typeable info at definition sitesBen Gamari2015-10-291-10/+25
* Record pattern synonymsMatthew Pickering2015-10-291-3/+5
* Pattern synonyms: swap provided/requiredSimon Peyton Jones2015-10-281-2/+13
* Reinstate monomorphism-restriction warningsSimon Peyton Jones2015-10-121-1/+1
* Unify hsig and hs-boot; add preliminary "hs-boot" merging.Edward Z. Yang2015-09-211-2/+2
* Use IP based CallStack in error and undefinedEric Seidel2015-09-021-3/+3
* Fix quantification for inference with sigsSimon Peyton Jones2015-08-051-1/+3
* Tidy up and refactor wildcard handlingSimon Peyton Jones2015-08-051-96/+111
* Better treatment of signatures in cls/instSimon Peyton Jones2015-07-301-2/+5
* Add NOINLINE for hs-boot functionsSimon Peyton Jones2015-07-211-41/+101
* White space onlySimon Peyton Jones2015-07-091-1/+1
* TypofixesGabor Greif2015-06-031-6/+6
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-14/+38
* Revert "API Annotations : add Locations in hsSyn were layout occurs"Austin Seipp2015-05-061-2/+2
* API Annotations : add Locations in hsSyn were layout occursAlan Zimmerman2015-05-061-2/+2
View Lorry Controller Status