summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcExpr.hs
Commit message (Expand)AuthorAgeFilesLines
* Another major constraint-solver refactoringSimon Peyton Jones2016-11-251-0/+1
* Typos in comments, notes and manualGabor Greif2016-11-151-2/+2
* Kill Type pretty-printerBen Gamari2016-11-131-1/+1
* Take account of kinds in promoteTcTypeSimon Peyton Jones2016-10-241-3/+2
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-14/+10
* Allow typed holes to be levity-polymorphicSimon Peyton Jones2016-08-261-4/+4
* Replace some `length . filter` with `count`Ömer Sinan Ağacan2016-08-051-1/+1
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-0/+9
* Have addModFinalizer expose the local type environment.Facundo Domínguez2016-07-061-0/+8
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-2/+2
* Fix #10963 and #11975 by adding new cmds to GHCi.Richard Eisenberg2016-06-231-4/+7
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-6/+7
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-31/+57
* Minor refactoringSimon Peyton Jones2016-06-101-6/+8
* Improve the error messages for static forms.Facundo Domínguez2016-06-091-6/+149
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-1/+2
* Don't split the arg types in a PatSyn signatureSimon Peyton Jones2016-05-241-1/+1
* Get rid of Traversable UniqFM and Foldable UniqFMBartosz Nitka2016-05-101-1/+4
* Comments onlySimon Peyton Jones2016-05-101-0/+2
* Emit wild-card constraints in the right placeSimon Peyton Jones2016-05-101-4/+7
* StaticPointers: Allow closed vars in the static form.Facundo Domínguez2016-05-021-2/+22
* Fix suggestions for unbound variables (#11680)Jason Eisenberg2016-04-101-5/+5
* Make SigSkol take TcType not ExpTypeSimon Peyton Jones2016-03-311-1/+1
* Refactor in TcMatchesSimon Peyton Jones2016-03-311-8/+9
* Typos in non-codeGabor Greif2016-03-301-1/+1
* An extra traceTc in tcExpr for ExprWithSigSimon Peyton Jones2016-03-251-0/+1
* Fix #11512 by getting visibility right for methodsRichard Eisenberg2016-03-171-1/+4
* Refactor visible type application.Richard Eisenberg2016-03-141-53/+62
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-1/+2
* Overload the static form to reduce verbosity.Facundo Domínguez2016-02-251-5/+11
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-6/+6
* (Another) minor refactoring of substitutionsSimon Peyton Jones2016-02-181-1/+1
* Improve pretty-printing of HsWrappersSimon Peyton Jones2016-02-121-4/+2
* Add asserts to other substitution functionsBartosz Nitka2016-01-301-3/+3
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-146/+326
* Check InScopeSet in substTy and provide substTyUncheckedBartosz Nitka2016-01-191-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-37/+37
* un-wire-in error, undefined, CallStack, and IPEric Seidel2016-01-181-0/+1
* Work SourceText in for all integer literalsAlan Zimmerman2016-01-161-2/+2
* Fix typo in error message (#11409)Richard Eisenberg2016-01-151-1/+1
* Visible type applicationRichard Eisenberg2015-12-241-335/+496
* Fix typechecking for pattern synonym signaturesSimon Peyton Jones2015-12-221-4/+4
* Add Location to RdrName in FieldOccAlan Zimmerman2015-12-211-11/+16
* Expose enabled language extensions to THBen Gamari2015-12-151-2/+4
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-62/+68
* Fix infix record field fixity (#11167 and #11173).Adam Gundry2015-12-111-2/+14
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-68/+126
* ApiAnnotations: Make all RdrName occurences LocatedAlan Zimmerman2015-11-231-22/+27
* Refactor HsExpr.RecordCon, RecordUpdSimon Peyton Jones2015-11-181-6/+10
* Implement OverloadedLabelsAdam Gundry2015-11-171-0/+37
View Lorry Controller Status